Collaborative repo for Big Proof Programme at the Isaac Newton Institute, Jun 26 to Aug 4, 2017
BigProof
Collaborative repo for Big Proof Programme at the Isaac Newton Institute, Jun 26 to Aug 4, 2017
You can use this repository to contribute to the Big Proof Roadmap or to draft a preprint.
You can also use it to upload any slides.