From 090a3317f60e6fdf50ea59d78fb6de008b34f454 Mon Sep 17 00:00:00 2001 From: Josh Chen Date: Fri, 17 Aug 2018 16:25:38 +0200 Subject: Create README.md --- README.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..4c2ae38 --- /dev/null +++ b/README.md @@ -0,0 +1,16 @@ +# Isabelle/HoTT +An experimental implementation of HoTT in Isabelle/Pure + +## Installation +Clone the contents of this repository into `/src/HoTT`. + +## Usage +Set Isabelle's prover to Pure in the Theories panel, and import `HoTT`. + +## About and 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! + +## License +MIT -- cgit v1.2.3