Surfer's blog

17 Dec, 2025 Let's Learn Lean : Tactics
14 Dec, 2025 Let's Learn Lean : Polymorphism and Higher-Order Functions
10 Dec, 2025 Let's Learn Lean : Lists
07 Dec, 2025 Let's Learn Lean : Proof By Induction
03 Dec, 2025 Let's Learn Lean : Basics-II
30 Nov, 2025 Let's Learn Lean : Basics-I