https://github.com/coq-community/graph-theory
Tip revision: b04c1990e7de4e90c2a96460af3f1c01addab58f authored by Christian Doczkal on 17 May 2021, 14:42:09 UTC
documentation cleanup
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 |