https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 1c36294296e5f6ac35cd8eaa350f1a45ea8d532c authored by Gregory Malecha on 22 June 2015, 11:33:13 UTC
fixes to work with v8.5 branch.
Tip revision: 1c36294
File Mode Size
examples
scratch
theories
tools
.gitignore -rw-r--r-- 130 bytes
LICENSE -rw-r--r-- 1.5 KB
Makefile -rw-r--r-- 486 bytes
README.md -rw-r--r-- 1.3 KB

README.md

back to top