AlphaUncommon
ImperialCollegeLondon/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
- Owner
- ImperialCollegeLondon (organization)
- Stars
- Stars: 264
- Forks
- Forks: 58
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- 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/natural_number_gameStars: 305LeanAlpha
- ImperialCollegeLondon/sap-voiceboxStars: 255MATLABAlpha
- ImperialCollegeLondon/sharpyStars: 198PythonPrototype
Nearby in Lean
All Lean repos- trishullab/PutnamBenchStars: 270LeanAlpha
- tristanbuckmaster/fluid_leanStars: 267LeanAlpha
- TauCetiProject/TauCetiStars: 265LeanAlpha
- mit-pdos/perennialStars: 255LeanAlpha
- leanprover-community/lean-liquidStars: 255LeanAlpha
- dwrensha/compfilesStars: 255LeanAlpha