fblanqui / colorLinks

Coq library on rewriting theory and termination
37Updated last month

Alternatives and similar repositories for color

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

Sorting: