https://github.com/redprl/redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
https://github.com/redprl/redtt
cubical-type-theory ocaml proof-assistant type-theory
Last synced: 8 months ago
JSON representation
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
- Host: GitHub
- URL: https://github.com/redprl/redtt
- Owner: RedPRL
- License: apache-2.0
- Created: 2018-03-07T00:03:41.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2022-03-25T17:58:17.000Z (over 3 years ago)
- Last Synced: 2025-04-04T02:11:46.573Z (9 months ago)
- Topics: cubical-type-theory, ocaml, proof-assistant, type-theory
- Language: OCaml
- Homepage:
- Size: 3.02 MB
- Stars: 208
- Watchers: 24
- Forks: 12
- Open Issues: 38