thibautbenjamin / catt

Coherence typechecker for infinity categories
19Updated last month

Alternatives and similar repositories for catt:

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