AlphaPeu commune
opencompl/lean-mlir
A minimal development of SSA theory
- Propriétaire
- opencompl (organisation)
- Étoiles
- Étoiles : 273
- Forks
- Forks : 31
- Langage
- Lean
- Licence
- Aucune
- Création
- 2023
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de opencompl
Les 2 dépôts de opencompl- opencompl/veirÉtoiles : 134LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- konne88/functorioÉtoiles : 295LeanAlpha
- strata-org/StrataÉtoiles : 287LeanAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 286LeanAlpha
- trishullab/PutnamBenchÉtoiles : 270LeanAlpha
- digama0/lean4leanÉtoiles : 269LeanAlpha
- tristanbuckmaster/fluid_leanÉtoiles : 267LeanAlpha