search

thibautbenjamin / catt

Coherence typechecker for infinity categories
MIT License
18 stars 2 forks source link

Release 1.0 #79

Closed thibautbenjamin closed 1 month ago