ImperialCollegeLondon/M40001_lean

Lean 3 material related to Imperial College's "Introduction to University Mathematics" course

54 best points · 8 comments · 1 Hacker News post · 165 GitHub stars · View on GitHub

Hacker News discussions

• Propositional logic exercises with the lean theorem prover (54 points, 8 comments, by mathematically, 2021-10-21)