thibautbenjamin / cattLinks

Coherence typechecker for infinity categories
20Updated last week

Alternatives and similar repositories for catt

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

Sorting: