AlphaUncommon
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
- Owner
- rzk-lang (organization)
- Stars
- Stars: 311
- Forks
- Forks: 31
- Language
- Haskell
- License
- None
- Created
- 2020
- Topics
- category-theoryhomotopy-type-theoryproof-assistanthaskell
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Haskell
All Haskell repos- frank-lang/frankStars: 311HaskellAlpha
- jameshaydon/lawvereStars: 311HaskellAlpha
- berberman/nvfetcherStars: 311HaskellAlpha
- Holmusk/three-layerStars: 310HaskellAlpha