PrototypeCommon
sdiehl/zero-to-qed
From Zero to QED: An informal introduction to formality with Lean 4
- Owner
- sdiehl (personal account)
- Stars
- Stars: 128
- Forks
- Forks: 22
- Language
- Lean
- License
- MIT
- Created
- 2025
- Topics
- formal-methodslean
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by sdiehl
All 15 repos by sdiehl- sdiehl/write-you-a-haskellStars: 3,488RustRC
- sdiehl/wiwinwlhStars: 2,667HaskellRC
- sdiehl/kaleidoscopeStars: 1,039HaskellBeta
- sdiehl/bulletproofsStars: 555HaskellAlpha
- sdiehl/typechecker-zooStars: 466RustAlpha
- sdiehl/numpileStars: 411Jupyter NotebookAlpha
Nearby in Lean
All Lean repos- leanprover-community/lean-perfectoid-spacesStars: 134LeanPrototype
- verse-lab/velvetStars: 134LeanPrototype
- frenzymath/jixiaStars: 131LeanPrototype
- zhangir-azerbayev/ProofNetStars: 127LeanPrototype
- leanprover/lean4-cliStars: 125LeanPrototype
- siddhartha-gadgil/LeanAideStars: 125LeanPrototype