PrototypeCommune
opencompl/veir
Verified Intermediate Representation
- Propriétaire
- opencompl (organisation)
- Étoiles
- Étoiles : 134
- Forks
- Forks : 44
- Langage
- Lean
- Licence
- Aucune
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de opencompl
Les 2 dépôts de opencompl- opencompl/lean-mlirÉtoiles : 273LeanAlpha
D’autres dépôts Lean
Tous les dépôts Lean- jesse-michael-han/lean-gptfÉtoiles : 135LeanPrototype
- eric-wieser/lean-matrix-cookbookÉtoiles : 135LeanPrototype
- verse-lab/velvetÉtoiles : 134LeanPrototype
- leanprover-community/lean-perfectoid-spacesÉtoiles : 133LeanPrototype
- frenzymath/jixiaÉtoiles : 131LeanPrototype
- sdiehl/zero-to-qedÉtoiles : 128LeanPrototype