AlphaPeu commune
RedPRL/cooltt
😎TT
- Propriétaire
- RedPRL (organisation)
- Étoiles
- Étoiles : 251
- Forks
- Forks : 14
- Langage
- OCaml
- Licence
- Apache-2.0
- Création
- 2019
- Sujets
- cubical-type-theoryproof-assistanttype-theoryhomotopy-type-theoryocamlocaml-program
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de RedPRL
Les 3 dépôts de RedPRL- RedPRL/sml-redprlÉtoiles : 229Standard MLPrototype
- RedPRL/redttÉtoiles : 224OCamlPrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- backtracking/ocamlgraphÉtoiles : 253OCamlAlpha
- rescript-lang/syntaxÉtoiles : 253OCamlAlpha
- nlsandler/nqcc2Étoiles : 252OCamlAlpha
- lukaszcz/coqhammerÉtoiles : 249OCamlPrototype
- Zilliqa/scillaÉtoiles : 249OCamlPrototype
- arthaud/c2bfÉtoiles : 248OCamlPrototype