From 23aa77db7c855ac272614cbd3d527dd945b04cfa Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 26 Feb 2009 13:56:54 -0500 Subject: Coq README --- src/coq/README | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 src/coq/README (limited to 'src/coq') diff --git a/src/coq/README b/src/coq/README new file mode 100644 index 00000000..963a7d16 --- /dev/null +++ b/src/coq/README @@ -0,0 +1,3 @@ +This is a Coq formalization of a simplified version of the Ur programming language. + +It has only been tested with Coq version 8.1pl3. -- cgit v1.2.3