https://github.com/forked-from-1kasper/bravo
Castle Bravo: Experimental HoTT Implementation
https://github.com/forked-from-1kasper/bravo
dependent-types homotopy-type-theory hott hott-uf mltt proof-assistant theorem-prover type-checker univalent-foundations
Last synced: 29 days ago
JSON representation
Castle Bravo: Experimental HoTT Implementation
- Host: GitHub
- URL: https://github.com/forked-from-1kasper/bravo
- Owner: forked-from-1kasper
- Created: 2022-03-21T13:15:40.000Z (about 3 years ago)
- Default Branch: master
- Last Pushed: 2023-06-16T10:21:11.000Z (almost 2 years ago)
- Last Synced: 2025-04-02T21:51:23.734Z (about 2 months ago)
- Topics: dependent-types, homotopy-type-theory, hott, hott-uf, mltt, proof-assistant, theorem-prover, type-checker, univalent-foundations
- Language: OCaml
- Homepage:
- Size: 381 KB
- Stars: 7
- Watchers: 2
- Forks: 1
- Open Issues: 0