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 From 0373c763e248fa20a67616c249edfbbd90c975b1 Mon Sep 17 00:00:00 2001 From: Josh Chen Date: Fri, 17 Aug 2018 16:26:04 +0200 Subject: Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 4c2ae38..a784ab4 100644 --- a/README.md +++ b/README.md @@ -7,8 +7,9 @@ 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 +## 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! -- cgit v1.2.3 From 166cb2adbda1dc350c15a3905dce52deade4c0e3 Mon Sep 17 00:00:00 2001 From: Josh Chen Date: Fri, 17 Aug 2018 16:28:17 +0200 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a784ab4..204c03b 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@ # Isabelle/HoTT -An experimental implementation of HoTT in Isabelle/Pure +An experimental implementation of [homotopy type theory](https://en.wikipedia.org/wiki/Homotopy_type_theory) in the interactive theorem prover [Isabelle](https://isabelle.in.tum.de/). ## Installation Clone the contents of this repository into `/src/HoTT`. -- cgit v1.2.3 From 35d33e72504c0547f35212182e906f06c664d3af Mon Sep 17 00:00:00 2001 From: Josh Chen Date: Fri, 17 Aug 2018 17:36:11 +0200 Subject: Add contact --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 204c03b..6f371f8 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ Set Isabelle's prover to Pure in the Theories panel, and import `HoTT`. 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! +If you're interested in working together on any part of this do drop me a line at `joshua DOT chen AT uni-bonn DOT de`. ## License MIT -- cgit v1.2.3 From 01742e8983e40b2697f4023a7f581731ba6b9848 Mon Sep 17 00:00:00 2001 From: Josh Chen Date: Fri, 17 Aug 2018 17:37:03 +0200 Subject: Update README.md --- README.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 6f371f8..92464c7 100644 --- a/README.md +++ b/README.md @@ -1,17 +1,22 @@ # Isabelle/HoTT + An experimental implementation of [homotopy type theory](https://en.wikipedia.org/wiki/Homotopy_type_theory) in the interactive theorem prover [Isabelle](https://isabelle.in.tum.de/). ## Installation + Clone the contents of this repository into `/src/HoTT`. ## Usage + Set Isabelle's prover to Pure in the Theories panel, and import `HoTT`. ## 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. + +Collaborators are welcome! If you're interested in working together on any part of this do drop me a line at `joshua DOT chen AT uni-bonn DOT de`. ## License + MIT -- cgit v1.2.3