Rare find

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

github.com/ImperialCollegeLondon/formalising-mathematics
by @ImperialCollegeLondon

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.