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.