https://github.com/smimram/catt
An infinity-categorical coherence typechecker
https://github.com/smimram/catt
category-theory ocaml type-theory
Last synced: 2 months ago
JSON representation
An infinity-categorical coherence typechecker
- Host: GitHub
- URL: https://github.com/smimram/catt
- Owner: smimram
- Created: 2016-09-22T12:34:01.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2024-11-04T14:06:50.000Z (7 months ago)
- Last Synced: 2025-04-11T04:37:19.416Z (2 months ago)
- Topics: category-theory, ocaml, type-theory
- Language: OCaml
- Homepage: https://smimram.github.io/catt/
- Size: 251 KB
- Stars: 16
- Watchers: 3
- Forks: 0
- Open Issues: 0