From b69e9ec88fb509ec5168c9eab7d25f6941e838b3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Thu, 28 Sep 2017 10:36:55 +0200 Subject: [PATCH] Add coq/README.md. --- coq/README.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 coq/README.md diff --git a/coq/README.md b/coq/README.md new file mode 100644 index 0000000..1afe19c --- /dev/null +++ b/coq/README.md @@ -0,0 +1,17 @@ +This code has been tested with Coq 8.5pl3. + +For now, this code requires my slightly patched version of Autosubst. +To install this library, proceed as follows: + +``` + git clone git@github.com:fpottier/autosubst.git + cd autosubst + make && make install +``` + +You can then compile the Coq code as follows: + +``` + make _CoqProject + make -j4 +```