PrototypeCommon
RedPRL/redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
- Owner
- RedPRL (organization)
- Stars
- Stars: 224
- Forks
- Forks: 12
- Language
- OCaml
- License
- Apache-2.0
- Created
- 2018
- Topics
- cubical-type-theoryproof-assistanttype-theoryocaml
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by RedPRL
All 3 repos by RedPRL- RedPRL/coolttStars: 251OCamlAlpha
- RedPRL/sml-redprlStars: 229Standard MLPrototype
Nearby in OCaml
All OCaml repos- pirapira/coq2rustStars: 226OCamlPrototype
- rescript-labs/deccoStars: 225OCamlPrototype
- inhabitedtype/ocaml-webmachineStars: 224OCamlPrototype
- jordwalke/rehpStars: 223OCamlPrototype
- kitten/sweetsourStars: 222OCamlPrototype
- kennetpostigo/lwt-nodeStars: 220OCamlPrototype