AlphaPeu commune
AndrasKovacs/smalltt
Demo for high-performance type theory elaboration
- Propriétaire
- AndrasKovacs (compte personnel)
- Étoiles
- Étoiles : 611
- Forks
- Forks : 29
- Langage
- Lean
- Licence
- MIT
- Création
- 2017
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de AndrasKovacs
Les 4 dépôts de AndrasKovacs- AndrasKovacs/elaboration-zooÉtoiles : 808HaskellBêta
- AndrasKovacs/stagedÉtoiles : 189TeXPrototype
- AndrasKovacs/flatparseÉtoiles : 182HaskellPrototype
D’autres dépôts Lean
Tous les dépôts Lean- leanprover/cslibÉtoiles : 793LeanBêta
- uwdb/CosetteÉtoiles : 690LeanAlpha
- litexlang/golitexÉtoiles : 685LeanAlpha
- teorth/equational_theoriesÉtoiles : 564LeanAlpha
- lecopivo/SciLeanÉtoiles : 542LeanAlpha
- jinshanmu/CrouzeixConjectureÉtoiles : 532LeanAlpha