Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

ImperialCollegeLondon/formalising-mathematics-2022

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Owner: ImperialCollegeLondon (organization)
Stars: Stars: 121
Forks: Forks: 22
Language: Lean
License: None
Created: 2022
Tier: Prototype (100 to 249 ★) What this tier means

View on GitHub

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/formalising-mathematics-2024Stars: 264LeanAlpha
ImperialCollegeLondon/sap-voiceboxStars: 255MATLABAlpha

Nearby in Lean

All Lean repos

blanchette/logical_verification_2023Stars: 122LeanPrototype
emilyriehl/infinity-cosmosStars: 122LeanPrototype
TwoFX/sudokuStars: 121LeanPrototype
avigad/lamrStars: 120LeanPrototype
rami3l/PLFaLeanStars: 120LeanPrototype
google-deepmind/debateStars: 120LeanPrototype