PrototypeCommune
frenzymath/jixia
A static analysis tool for Lean 4.
- Propriétaire
- frenzymath (organisation)
- Étoiles
- Étoiles : 131
- Forks
- Forks : 16
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de frenzymath
Les 4 dépôts de frenzymath- frenzymath/DanusÉtoiles : 497PythonAlpha
- frenzymath/RethlasÉtoiles : 362PythonAlpha
- frenzymath/ArchonÉtoiles : 229PythonPrototype
D’autres dépôts Lean
Tous les dépôts Lean- opencompl/veirÉtoiles : 135LeanPrototype
- verse-lab/velvetÉtoiles : 134LeanPrototype
- leanprover-community/lean-perfectoid-spacesÉtoiles : 133LeanPrototype
- sdiehl/zero-to-qedÉtoiles : 128LeanPrototype
- zhangir-azerbayev/ProofNetÉtoiles : 127LeanPrototype
- leanprover/lean4-cliÉtoiles : 125LeanPrototype