https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 2b9b50da7d642e56d23cfd6c59911ea8559d5f24 authored by Pierre Roux on 31 January 2024, 11:18:40 UTC
Adapt to https://github.com/coq/coq/pull/18590
Tip revision: 2b9b50d
File Mode Size
.github
coqdocjs @ 5740184
examples
scratch
theories
tools
.gitignore -rw-r--r-- 209 bytes
.gitmodules -rw-r--r-- 93 bytes
LICENSE -rw-r--r-- 1.3 KB
Makefile -rw-r--r-- 950 bytes
README.md -rw-r--r-- 3.5 KB
_CoqProject -rw-r--r-- 3.2 KB
coq-ext-lib.opam -rw-r--r-- 886 bytes
meta.yml -rw-r--r-- 3.6 KB

README.md

back to top