https://surfer.bearblog.dev/ 2025-11-27 https://surfer.bearblog.dev/lets-learn-lean-tactics/ 2025-12-17 https://surfer.bearblog.dev/lets-learn-lean-polymorphism-and-higher-order-functions/ 2025-12-14 https://surfer.bearblog.dev/lets-learn-lean-lists/ 2025-12-14 https://surfer.bearblog.dev/lets-learn-lean-proof-by-induction/ 2025-12-07 https://surfer.bearblog.dev/lets-learn-lean-basics-ii/ 2025-12-03 https://surfer.bearblog.dev/lets-learn-lean-part-1/ 2025-12-03