https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: a1b6f914b12d3f7c35741acc2f6c83f1a47813ba authored by Andrej Dudenhefner on 11 July 2022, 12:57:11 UTC
improved auto goal selection (see coq/#16293)
Tip revision: a1b6f91
File Mode Size
.circleci
coqdocjs @ 556b3ab
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-- 880 bytes
README.md -rw-r--r-- 3.3 KB
_CoqProject -rw-r--r-- 3.1 KB
coq-ext-lib.opam -rw-r--r-- 745 bytes
meta.yml -rw-r--r-- 2.7 KB

README.md

back to top