2 repos
fblanqui/color
Coq library on rewriting theory and termination
37
2,098 commits
charguer/tlc
Library for Classical Coq
42
496 commits
