PrototypeCommon
simhu/cubical
Implementation of Univalence in Cubical Sets
- Owner
- simhu (personal account)
- Stars
- Stars: 145
- Forks
- Forks: 10
- Language
- Haskell
- License
- MIT
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Haskell
All Haskell repos- nomeata/ghc-proofsStars: 145HaskellPrototype
- tsoding/HyperNerdStars: 145HaskellPrototype
- marvinborner/bruijnStars: 145HaskellPrototype
- wavewave/fficxxStars: 145HaskellPrototype
- rnons/ted2srtStars: 145HaskellPrototype
- egonSchiele/chipsStars: 145HaskellPrototype