https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 9588b93ce29e88ea8951b4077fa0452332676340 authored by Gregory Malecha on 09 November 2015, 04:51:21 UTC
porting of most things so that it builds with 8.5~beta3
Tip revision: 9588b93
File Mode Size
examples
scratch
theories
tools
.gitignore -rw-r--r-- 130 bytes
LICENSE -rw-r--r-- 1.5 KB
Makefile -rw-r--r-- 483 bytes
README.md -rw-r--r-- 1.3 KB
_CoqProject -rw-r--r-- 3.1 KB

README.md

back to top