AlphaPeu commune
digama0/lean4lean
Lean 4 kernel / 'external checker' written in Lean 4
- Propriétaire
- digama0 (compte personnel)
- Étoiles
- Étoiles : 269
- Forks
- Forks : 41
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de digama0
Les 3 dépôts de digama0- digama0/mm0Étoiles : 422LeanAlpha
- digama0/lean-type-theoryÉtoiles : 174TeXPrototype
D’autres dépôts Lean
Tous les dépôts Lean- leanprover/theorem_proving_in_lean4Étoiles : 285LeanAlpha
- opencompl/lean-mlirÉtoiles : 273LeanAlpha
- trishullab/PutnamBenchÉtoiles : 270LeanAlpha
- tristanbuckmaster/fluid_leanÉtoiles : 267LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Étoiles : 262LeanAlpha
- TauCetiProject/TauCetiÉtoiles : 259LeanAlpha