PrototypeCommune
RedPRL/redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
- Propriétaire
- RedPRL (organisation)
- Étoiles
- Étoiles : 224
- Forks
- Forks : 12
- Langage
- OCaml
- Licence
- Apache-2.0
- Création
- 2018
- Sujets
- cubical-type-theoryproof-assistanttype-theoryocaml
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de RedPRL
Les 3 dépôts de RedPRL- RedPRL/coolttÉtoiles : 251OCamlAlpha
- RedPRL/sml-redprlÉtoiles : 229Standard MLPrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- pirapira/coq2rustÉtoiles : 226OCamlPrototype
- rescript-labs/deccoÉtoiles : 225OCamlPrototype
- inhabitedtype/ocaml-webmachineÉtoiles : 224OCamlPrototype
- jordwalke/rehpÉtoiles : 223OCamlPrototype
- kitten/sweetsourÉtoiles : 222OCamlPrototype
- kennetpostigo/lwt-nodeÉtoiles : 220OCamlPrototype