fblanqui / colorLinks

Coq library on rewriting theory and termination
37Updated 2 months ago

Alternatives and similar repositories for color

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

Sorting: