AlphaPeu commune
ImperialCollegeLondon/natural_number_game
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
- Propriétaire
- ImperialCollegeLondon (organisation)
- Étoiles
- Étoiles : 305
- Forks
- Forks : 70
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2019
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de ImperialCollegeLondon
Les 10 dépôts de ImperialCollegeLondon- ImperialCollegeLondon/FLTÉtoiles : 1 056LeanBêta
- ImperialCollegeLondon/covid19modelÉtoiles : 941StanBêta
- ImperialCollegeLondon/formalising-mathematicsÉtoiles : 317LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Étoiles : 264LeanAlpha
- ImperialCollegeLondon/sap-voiceboxÉtoiles : 255MATLABAlpha
- ImperialCollegeLondon/sharpyÉtoiles : 198PythonPrototype
D’autres dépôts Lean
Tous les dépôts Lean- ImperialCollegeLondon/formalising-mathematicsÉtoiles : 317LeanAlpha
- leanprover-community/lean4-metaprogramming-bookÉtoiles : 317LeanAlpha
- ufmg-smite/lean-smtÉtoiles : 315LeanAlpha
- FormalizedFormalLogic/FoundationÉtoiles : 296LeanAlpha
- konne88/functorioÉtoiles : 295LeanAlpha
- strata-org/StrataÉtoiles : 287LeanAlpha