GitHub repository: thibautbenjamin/catt
Primary language: OCaml
Description: Coherence typechecker for infinity categories