PrototypeCommon
blanchette/logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
- Owner
- blanchette (personal account)
- Stars
- Stars: 122
- Forks
- Forks: 19
- Language
- Lean
- License
- None
- Created
- 2023
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- leanprover/lean4-cliStars: 125LeanPrototype
- siddhartha-gadgil/LeanAideStars: 125LeanPrototype
- emilyriehl/infinity-cosmosStars: 122LeanPrototype
- ImperialCollegeLondon/formalising-mathematics-2022Stars: 121LeanPrototype
- TwoFX/sudokuStars: 120LeanPrototype
- avigad/lamrStars: 120LeanPrototype