3 repos
ImperialCollegeLondon/formalising-mathematics
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version…
316
201 commits
PatrickMassot/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
407
128 commits
tchajed/coq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
552
192 commits
