PrototypeCommon
lean-forward/logical_verification_2025
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
- Owner
- lean-forward (organization)
- Stars
- Stars: 172
- Forks
- Forks: 22
- Language
- Lean
- License
- None
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- leanprover-community/tutorialsStars: 183LeanPrototype
- leanEthereum/leanVMStars: 178LeanPrototype
- leanprover/doc-gen4Stars: 177LeanPrototype
- formalabstracts/formalabstractsStars: 170LeanPrototype
- openai/PrimeGaps186Stars: 169LeanPrototype
- Verified-zkEVM/VCVioStars: 168LeanPrototype