From 2b42b190b15dcf74f033347604ea5530f3428364 Mon Sep 17 00:00:00 2001 From: Josh Chen Date: Thu, 30 Aug 2018 00:53:09 +0200 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 4747be7..68ede63 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ An experimental implementation of [homotopy type theory](https://en.wikipedia.or ### Installation & Usage -Clone the contents of this repository into `/src/HoTT`. +Clone the contents of this repository into `/src/Isabelle-HoTT`. To use, set Isabelle's prover to Pure in the Theories panel, and import `HoTT`. -- cgit v1.2.3