https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 45713e2f3bcd58df2f4c90323974de2ac75e983e authored by Gregory Malecha on 03 February 2016, 06:16:37 UTC
Merge pull request #17 from vzaliva/macos-coq8.4-build
Tip revision: 45713e2
File Mode Size
examples
scratch
theories
tools
.gitignore -rw-r--r-- 92 bytes
LICENSE -rw-r--r-- 1.5 KB
Makefile -rw-r--r-- 519 bytes
README.md -rw-r--r-- 1.3 KB

README.md

back to top