Feedback
~
catt
catt
OCaml
Terra
Nix
HTML
Emacs Lisp
Dune
CSS
Rocq Prover
MIT license
Coherence typechecker for infinity categories
View on GitHub
★ 20
Share
Claim this page
Links
License (MIT)