AlphaPeu commune
gwaithimirdain/narya
A proof assistant for higher-dimensional type theory
- Propriétaire
- gwaithimirdain (organisation)
- Étoiles
- Étoiles : 315
- Forks
- Forks : 30
- Langage
- OCaml
- Licence
- GPL-3.0
- Création
- 2023
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- talex5/cuekeeperÉtoiles : 316OCamlAlpha
- caradoc-org/caradocÉtoiles : 316OCamlAlpha
- herd/herdtools7Étoiles : 316OCamlAlpha
- rossberg/1mlÉtoiles : 303OCamlAlpha
- nlsandler/nqccÉtoiles : 303OCamlAlpha
- geoffder/dometyl-keyboardÉtoiles : 303OCamlAlpha