AlphaUncommon
opencompl/lean-mlir
A minimal development of SSA theory
- Owner
- opencompl (organization)
- Stars
- Stars: 273
- Forks
- Forks: 31
- Language
- Lean
- License
- None
- Created
- 2023
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by opencompl
All 2 repos by opencompl- opencompl/veirStars: 134LeanPrototype
Nearby in Lean
All Lean repos- konne88/functorioStars: 295LeanAlpha
- strata-org/StrataStars: 287LeanAlpha
- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha
- trishullab/PutnamBenchStars: 270LeanAlpha
- digama0/lean4leanStars: 269LeanAlpha
- tristanbuckmaster/fluid_leanStars: 267LeanAlpha