Writing a Simple Proof Assistant May 10, 2026

Infinite Lists in Lean March 20, 2026

The Abstract Nonsense Guide to Monads January 26, 2026

The Evolution of a Lean Programmer January 11, 2026

Installing Every NixOS Package December 9, 2025

What’s the Derivative of a Data Type? October 31, 2025

ICan’tBelieveICanProveItCanSort! October 21, 2025

Proving Fermat’s Last Theorem in Dafny August 3, 2025

“Bad Apple!!” But It’s 3288 Lean Tactics Spamming VS Code July 4, 2025

Doing Math With Lean May 26, 2025

Cosine in the BEST LANGUAGE EVER May 9, 2025