AlphaPeu commune
PatrickMassot/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
- Propriétaire
- PatrickMassot (compte personnel)
- Étoiles
- Étoiles : 428
- Forks
- Forks : 164
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de PatrickMassot
Les 3 dépôts de PatrickMassot- PatrickMassot/leanblueprintÉtoiles : 399PythonAlpha
- PatrickMassot/verbose-lean4Étoiles : 163LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- anthropics/formal-mathÉtoiles : 449LeanAlpha
- ByteDance-Seed/Seed-ProverÉtoiles : 442LeanAlpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha
- digama0/mm0Étoiles : 422LeanAlpha
- leanprover-community/aesopÉtoiles : 413LeanAlpha
- leanprover/versoÉtoiles : 405LeanAlpha