Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: about 2 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 7 years ago)
- Default Branch: master
- Last Pushed: 2022-03-25T17:58:17.000Z (almost 3 years ago)
- Last Synced: 2024-03-26T08:19:10.551Z (10 months ago)
- Topics: cubical-type-theory, ocaml, proof-assistant, type-theory
- Language: OCaml
- Homepage:
- Size: 3.02 MB
- Stars: 199
- Watchers: 27
- Forks: 12
- Open Issues: 38