fblanqui / color

Coq library on rewriting theory and termination
36Updated this week

Alternatives and similar repositories for color:

Users that are interested in color are comparing it to the libraries listed below