AlphaUncommon
AndrasKovacs/smalltt
Demo for high-performance type theory elaboration
- Owner
- AndrasKovacs (personal account)
- Stars
- Stars: 611
- Forks
- Forks: 29
- Language
- Lean
- License
- MIT
- Created
- 2017
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by AndrasKovacs
All 4 repos by AndrasKovacs- AndrasKovacs/elaboration-zooStars: 808HaskellBeta
- AndrasKovacs/stagedStars: 189TeXPrototype
- AndrasKovacs/flatparseStars: 182HaskellPrototype
Nearby in Lean
All Lean repos- leanprover/cslibStars: 793LeanBeta
- uwdb/CosetteStars: 690LeanAlpha
- litexlang/golitexStars: 685LeanAlpha
- teorth/equational_theoriesStars: 564LeanAlpha
- lecopivo/SciLeanStars: 542LeanAlpha
- jinshanmu/CrouzeixConjectureStars: 532LeanAlpha