PrototypeCommune
sdiehl/zero-to-qed
From Zero to QED: An informal introduction to formality with Lean 4
- Propriétaire
- sdiehl (compte personnel)
- Étoiles
- Étoiles : 128
- Forks
- Forks : 22
- Langage
- Lean
- Licence
- MIT
- Création
- 2025
- Sujets
- formal-methodslean
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de sdiehl
Les 15 dépôts de sdiehl- sdiehl/write-you-a-haskellÉtoiles : 3 488RustRC
- sdiehl/wiwinwlhÉtoiles : 2 667HaskellRC
- sdiehl/kaleidoscopeÉtoiles : 1 039HaskellBêta
- sdiehl/bulletproofsÉtoiles : 555HaskellAlpha
- sdiehl/typechecker-zooÉtoiles : 465RustAlpha
- sdiehl/numpileÉtoiles : 411Jupyter NotebookAlpha
D’autres dépôts Lean
Tous les dépôts Lean- verse-lab/velvetÉtoiles : 134LeanPrototype
- leanprover-community/lean-perfectoid-spacesÉtoiles : 133LeanPrototype
- frenzymath/jixiaÉtoiles : 131LeanPrototype
- zhangir-azerbayev/ProofNetÉtoiles : 127LeanPrototype
- leanprover/lean4-cliÉtoiles : 125LeanPrototype
- siddhartha-gadgil/LeanAideÉtoiles : 125LeanPrototype