diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -7,8 +7,9 @@ Clone the contents of this repository into `<Isabelle root directory>/src/HoTT`. ## Usage Set Isabelle's prover to Pure in the Theories panel, and import `HoTT`. -## About and Collaboration +## Collaboration Collaborators welcome! + I've been working on this library as part of my Masters project, and there are very many improvements and developments that have yet to be implemented. If you're interested in working together on any part of this do drop me a line! |