fblanqui / colorLinks

Coq library on rewriting theory and termination
36Updated last week

Alternatives and similar repositories for color

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

Sorting: