https://github.com/fblanqui/color
Coq35
2 months ago
Coq library on rewriting theory and termination
Other
