https://github.com/coq-community/graph-theory
History
Tip revision: b04c1990e7de4e90c2a96460af3f1c01addab58f authored by Christian Doczkal on 17 May 2021, 14:42:09 UTC
documentation cleanup
Tip revision: b04c199
File Mode Size
.github
coqdocjs @ 9c47d44
theories
.gitignore -rw-r--r-- 170 bytes
.gitmodules -rw-r--r-- 89 bytes
Makefile -rw-r--r-- 335 bytes
Makefile.coq.local -rw-r--r-- 1.2 KB
README.md -rw-r--r-- 4.0 KB
_CoqProject -rw-r--r-- 1.3 KB
_CoqProject.wagner -rw-r--r-- 137 bytes
coq-graph-theory.opam -rw-r--r-- 1.5 KB
depend-colors.gv -rw-r--r-- 1.3 KB
depopts.patch -rw-r--r-- 1.7 KB
meta.yml -rw-r--r-- 3.6 KB

README.md

back to top