PrototypeCommune
simhu/cubical
Implementation of Univalence in Cubical Sets
- Propriétaire
- simhu (compte personnel)
- Étoiles
- Étoiles : 145
- Forks
- Forks : 10
- Langage
- Haskell
- Licence
- MIT
- Création
- 2013
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- nomeata/ghc-proofsÉtoiles : 145HaskellPrototype
- tsoding/HyperNerdÉtoiles : 145HaskellPrototype
- marvinborner/bruijnÉtoiles : 145HaskellPrototype
- wavewave/fficxxÉtoiles : 145HaskellPrototype
- rnons/ted2srtÉtoiles : 145HaskellPrototype
- egonSchiele/chipsÉtoiles : 145HaskellPrototype