Posts

• Floats in Lean 4.33

  June 19, 2026 · 10 minute read Lean Floating-point numbers

• My first verified (imperative) program

  July 6, 2025 · 13 minute read Lean human-eval-lean

• Freyd-Mitchell and Gabriel-Popescu

  June 21, 2025 · 1 minute read Lean mathlib

• Lean has iterators now

  June 12, 2025 · 2 minute read Lean human-eval-lean

• The largest divisor

  June 9, 2025 · 6 minute read Lean human-eval-lean

Tags: mathlib Floating-point numbers Lean human-eval-lean