fblanqui / colorLinks

Coq library on rewriting theory and termination
36Updated 3 months ago

Alternatives and similar repositories for color

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

Sorting: