AlphaUncommon
ImperialCollegeLondon/natural_number_game
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
- Owner
- ImperialCollegeLondon (organization)
- Stars
- Stars: 305
- Forks
- Forks: 70
- Language
- Lean
- License
- Apache-2.0
- Created
- 2019
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by ImperialCollegeLondon
All 10 repos by ImperialCollegeLondon- ImperialCollegeLondon/FLTStars: 1,056LeanBeta
- ImperialCollegeLondon/covid19modelStars: 941StanBeta
- ImperialCollegeLondon/formalising-mathematicsStars: 317LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Stars: 264LeanAlpha
- ImperialCollegeLondon/sap-voiceboxStars: 255MATLABAlpha
- ImperialCollegeLondon/sharpyStars: 198PythonPrototype
Nearby in Lean
All Lean repos- ImperialCollegeLondon/formalising-mathematicsStars: 317LeanAlpha
- leanprover-community/lean4-metaprogramming-bookStars: 317LeanAlpha
- ufmg-smite/lean-smtStars: 315LeanAlpha
- FormalizedFormalLogic/FoundationStars: 296LeanAlpha
- konne88/functorioStars: 295LeanAlpha
- strata-org/StrataStars: 287LeanAlpha