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