https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 26626fa42c0c8a488522781bf867607531c4528e authored by Pierre Rousselin on 21 October 2023, 16:47:49 UTC
Adapt to Coq/Coq#18164
Tip revision: 26626fa
File Mode Size
.github
coqdocjs @ 5740184
examples
scratch
templates @ 36b28e0
theories
tools
.gitignore -rw-r--r-- 209 bytes
.gitmodules -rw-r--r-- 189 bytes
LICENSE -rw-r--r-- 1.3 KB
Makefile -rw-r--r-- 898 bytes
README.md -rw-r--r-- 3.4 KB
_CoqProject -rw-r--r-- 3.1 KB
coq-ext-lib.opam -rw-r--r-- 745 bytes
meta.yml -rw-r--r-- 2.9 KB

README.md

back to top