https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 2fa52d2b0fce3b02a7c9872018cac61942394b74 authored by Yishuai Li on 07 August 2020, 04:23:47 UTC
CI for Coq 8.12
Tip revision: 2fa52d2
File Mode Size
.circleci
coqdocjs @ 556b3ab
examples
scratch
theories
tools
.gitignore -rw-r--r-- 187 bytes
.gitmodules -rw-r--r-- 93 bytes
LICENSE -rw-r--r-- 1.5 KB
Makefile -rw-r--r-- 750 bytes
README.md -rw-r--r-- 3.1 KB
_CoqProject -rw-r--r-- 3.2 KB
coq-ext-lib.opam -rw-r--r-- 713 bytes
meta.yml -rw-r--r-- 2.3 KB

README.md

back to top