human-eval-lean

All posts tagged with “human-eval-lean”.

• The largest divisor

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

• Lean has iterators now

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

• My first verified (imperative) program

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