https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 0b0c82bce7889edcf2d61243654e3092f7cf772e authored by Yishuai Li on 16 January 2020, 18:32:39 UTC
Core: fix compilation in Decision
Tip revision: 0b0c82b
File Mode Size
.circleci
coqdocjs @ 78e46f2
examples
scratch
templates @ d61e0b0
theories
tools
.gitignore -rw-r--r-- 178 bytes
.gitmodules -rw-r--r-- 179 bytes
LICENSE -rw-r--r-- 1.5 KB
Makefile -rw-r--r-- 668 bytes
README.md -rw-r--r-- 3.0 KB
_CoqProject -rw-r--r-- 3.2 KB
coq-ext-lib.opam -rw-r--r-- 713 bytes
meta.yml -rw-r--r-- 2.0 KB

README.md

back to top