https://github.com/forked-from-1kasper/hurricane
Hurricane: HoTT-I Type System
https://github.com/forked-from-1kasper/hurricane
dependent-type-theory dependent-types homotopy-type-theory hott hott-uf mltt proof-assistant theorem-prover type-checker
Last synced: 3 months ago
JSON representation
Hurricane: HoTT-I Type System
- Host: GitHub
- URL: https://github.com/forked-from-1kasper/hurricane
- Owner: forked-from-1kasper
- Created: 2022-03-21T13:27:45.000Z (about 3 years ago)
- Default Branch: master
- Last Pushed: 2022-03-21T13:53:36.000Z (about 3 years ago)
- Last Synced: 2025-01-07T08:27:15.069Z (5 months ago)
- Topics: dependent-type-theory, dependent-types, homotopy-type-theory, hott, hott-uf, mltt, proof-assistant, theorem-prover, type-checker
- Language: OCaml
- Homepage:
- Size: 44.9 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0