A slight disappointment this weekend. I thought I would have a proof of the
Jordan curve theorem just in time for the release. All the prerequisites seemed
to be there. Sledgehammer was proving the goals one after another. Even with
the last goal, it proved half and suggested two proofs for the
On 29/10/16 15:42, Lawrence Paulson wrote:
> A bit like the EU-Canada treaty and the Wallonian Parliament.
Lets hope Europe makes it at last, and gets rid of these dangerous and
non-sensical "Free Trade" agreements.
Here is an overview of the > 2000 communities and regions that have
rejected
