Blog
Introduction to Domain-driven development in Lean: Tic-Tac-Toe
October 5, 2026
LeanAPI: An API server for Lean 4
September 28, 2026
LeanHTTP: A HTTP Client for Lean 4
September 21, 2026
LeanReact: Expressing Composable and Correct React Components in Lean
September 15, 2026
LeanDB: A strongly typed SQL Frontend
September 13, 2026
We rewrote TinyGrad in Lean 4* (and yes, it's faster)
June 29, 2026
The software of the future will be bug-free
May 6, 2026
Every problem is a software problem
March 7, 2026
The Clockworks Manifesto
February 7, 2026
Why am I betting on Lean 4 for agentic coding?
December 22, 2025