PrototypeCommune
leanprover-community/repl
A simple REPL for Lean 4, returning information about errors and sorries.
- Propriétaire
- leanprover-community (organisation)
- Étoiles
- Étoiles : 237
- Forks
- Forks : 72
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de leanprover-community
Les 23 dépôts de leanprover-community- leanprover-community/mathlib4Étoiles : 4 405LeanRC
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- leanprover-community/physlibÉtoiles : 817LeanBêta
- leanprover-community/mathematics_in_leanÉtoiles : 624HTMLAlpha
- leanprover-community/lean4gameÉtoiles : 575TypeScriptAlpha
- leanprover-community/leanÉtoiles : 436C++Alpha
D’autres dépôts Lean
Tous les dépôts Lean- teorth/pfrÉtoiles : 246LeanPrototype
- leanprover-community/iris-leanÉtoiles : 244LeanPrototype
- Pengbinghui/pipeline-mathÉtoiles : 243LeanPrototype
- leanprover-community/ProofWidgets4Étoiles : 231LeanPrototype
- ShouqiaoW/erdosÉtoiles : 230LeanPrototype
- kbuzzard/xenaÉtoiles : 229LeanPrototype