AlphaUncommon
PatrickMassot/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
- Owner
- PatrickMassot (personal account)
- Stars
- Stars: 428
- Forks
- Forks: 164
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by PatrickMassot
All 3 repos by PatrickMassot- PatrickMassot/leanblueprintStars: 399PythonAlpha
- PatrickMassot/verbose-lean4Stars: 163LeanPrototype
Nearby in Lean
All Lean repos- anthropics/formal-mathStars: 449LeanAlpha
- ByteDance-Seed/Seed-ProverStars: 442LeanAlpha
- leanprover-community/batteriesStars: 428LeanAlpha
- digama0/mm0Stars: 422LeanAlpha
- leanprover-community/aesopStars: 413LeanAlpha
- leanprover/versoStars: 405LeanAlpha