AlphaUncommon
gwaithimirdain/narya
A proof assistant for higher-dimensional type theory
- Owner
- gwaithimirdain (organization)
- Stars
- Stars: 315
- Forks
- Forks: 30
- Language
- OCaml
- License
- GPL-3.0
- Created
- 2023
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in OCaml
All OCaml repos- talex5/cuekeeperStars: 316OCamlAlpha
- caradoc-org/caradocStars: 316OCamlAlpha
- herd/herdtools7Stars: 316OCamlAlpha
- rossberg/1mlStars: 303OCamlAlpha
- nlsandler/nqccStars: 303OCamlAlpha
- geoffder/dometyl-keyboardStars: 303OCamlAlpha