search

thibautbenjamin / catt

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

add emails in the dune-project file #83

Closed thibautbenjamin closed 4 weeks ago