PrototypeCommune
emilyriehl/infinity-cosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
- Propriétaire
- emilyriehl (compte personnel)
- Étoiles
- Étoiles : 122
- Forks
- Forks : 36
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- leanprover/lean4-cliÉtoiles : 125LeanPrototype
- siddhartha-gadgil/LeanAideÉtoiles : 125LeanPrototype
- blanchette/logical_verification_2023Étoiles : 122LeanPrototype
- ImperialCollegeLondon/formalising-mathematics-2022Étoiles : 121LeanPrototype
- TwoFX/sudokuÉtoiles : 120LeanPrototype
- avigad/lamrÉtoiles : 120LeanPrototype