2 + 2 = 4? Prove it! November 25th, 2025, 7:15 pm MRT 205 The file used for the presentation The Natural Numbers Game Lean Intro to Logic Online Lean 4 Playground Resources Installing Lean A tour of Lean Functional Programming in Lean Theorem Proving in Lean 4
