PrototypeCommune
lean-forward/logical_verification_2025
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
- Propriétaire
- lean-forward (organisation)
- Étoiles
- Étoiles : 172
- Forks
- Forks : 22
- Langage
- Lean
- Licence
- Aucune
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/tutorialsÉtoiles : 183LeanPrototype
- leanEthereum/leanVMÉtoiles : 178LeanPrototype
- leanprover/doc-gen4Étoiles : 177LeanPrototype
- formalabstracts/formalabstractsÉtoiles : 170LeanPrototype
- openai/PrimeGaps186Étoiles : 169LeanPrototype
- Verified-zkEVM/VCVioÉtoiles : 168LeanPrototype