PrototypeCommon
opencompl/veir
Verified Intermediate Representation
- Owner
- opencompl (organization)
- Stars
- Stars: 134
- Forks
- Forks: 44
- Language
- Lean
- License
- None
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by opencompl
All 2 repos by opencompl- opencompl/lean-mlirStars: 273LeanAlpha
Nearby in Lean
All Lean repos- jesse-michael-han/lean-gptfStars: 135LeanPrototype
- eric-wieser/lean-matrix-cookbookStars: 135LeanPrototype
- verse-lab/velvetStars: 134LeanPrototype
- leanprover-community/lean-perfectoid-spacesStars: 133LeanPrototype
- frenzymath/jixiaStars: 131LeanPrototype
- sdiehl/zero-to-qedStars: 128LeanPrototype