https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 554158186c8d9ad76083786bf86256540ab66bbc authored by Gregory Malecha on 12 April 2016, 11:12:11 UTC
fixing universe polymorphism for 8.5pl1
Tip revision: 5541581
File Mode Size
examples
scratch
theories
tools
.gitignore -rw-r--r-- 130 bytes
LICENSE -rw-r--r-- 1.5 KB
Makefile -rw-r--r-- 457 bytes
README.md -rw-r--r-- 1.6 KB
_CoqProject -rw-r--r-- 3.2 KB

README.md

back to top