PrototypeCommune
blanchette/logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
- Propriétaire
- blanchette (compte personnel)
- Étoiles
- Étoiles : 122
- Forks
- Forks : 19
- Langage
- Lean
- Licence
- Aucune
- Création
- 2023
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- siddhartha-gadgil/LeanAideÉtoiles : 125LeanPrototype
- oftenjames/romulusÉtoiles : 124LeanPrototype
- emilyriehl/infinity-cosmosÉtoiles : 122LeanPrototype
- ImperialCollegeLondon/formalising-mathematics-2022Étoiles : 121LeanPrototype
- TwoFX/sudokuÉtoiles : 120LeanPrototype
- avigad/lamrÉtoiles : 120LeanPrototype