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