PrototypeCommon
emilyriehl/infinity-cosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
- Owner
- emilyriehl (personal account)
- Stars
- Stars: 122
- Forks
- Forks: 36
- Language
- Lean
- License
- Apache-2.0
- Created
- 2024
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- leanprover/lean4-cliStars: 125LeanPrototype
- siddhartha-gadgil/LeanAideStars: 125LeanPrototype
- blanchette/logical_verification_2023Stars: 122LeanPrototype
- TwoFX/sudokuStars: 121LeanPrototype
- ImperialCollegeLondon/formalising-mathematics-2022Stars: 121LeanPrototype
- avigad/lamrStars: 120LeanPrototype