AlphaPeu commune
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
- Propriétaire
- rzk-lang (organisation)
- Étoiles
- Étoiles : 311
- Forks
- Forks : 31
- Langage
- Haskell
- Licence
- Aucune
- Création
- 2020
- Sujets
- category-theoryhomotopy-type-theoryproof-assistanthaskell
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- frank-lang/frankÉtoiles : 311HaskellAlpha
- jameshaydon/lawvereÉtoiles : 311HaskellAlpha
- berberman/nvfetcherÉtoiles : 311HaskellAlpha
- Holmusk/three-layerÉtoiles : 310HaskellAlpha