https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 1c5095b2e74504afb584dc270b01ff30edafc50b authored by Gregory Malecha on 25 June 2019, 02:02:53 UTC
Merge pull request #64 from coq-ext-lib/finite-map-remove-facts
Tip revision: 1c5095b
File Mode Size
examples
scratch
theories
tools
.gitignore -rw-r--r-- 143 bytes
.travis.yml -rw-r--r-- 483 bytes
LICENSE -rw-r--r-- 1.5 KB
Makefile -rw-r--r-- 485 bytes
README.md -rw-r--r-- 1.6 KB
_CoqProject -rw-r--r-- 3.2 KB
coq-ext-lib.opam -rw-r--r-- 597 bytes

README.md

back to top