AlphaUncommon
ImperialCollegeLondon/formalising-mathematics
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
- Owner
- ImperialCollegeLondon (organization)
- Stars
- Stars: 317
- Forks
- Forks: 21
- Language
- Lean
- License
- Apache-2.0
- Created
- 2021
- 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/natural_number_gameStars: 305LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Stars: 264LeanAlpha
- ImperialCollegeLondon/sap-voiceboxStars: 255MATLABAlpha
- ImperialCollegeLondon/sharpyStars: 198PythonPrototype
Nearby in Lean
All Lean repos- google-deepmind/alphaproof-nexus-resultsStars: 322LeanAlpha
- NyxFoundation/nyxisStars: 319LeanAlpha
- leanprover-community/lean4-metaprogramming-bookStars: 317LeanAlpha
- ufmg-smite/lean-smtStars: 315LeanAlpha
- ImperialCollegeLondon/natural_number_gameStars: 305LeanAlpha
- FormalizedFormalLogic/FoundationStars: 296LeanAlpha