23:31
2026-10-05
satnam6502.github.io
ai-research
Formally deriving programs from specifications (Bird-Meertens) using Lean 4
Satnam Singh has replayed Richard Bird's 1989 Bird–Meertens derivation of Kadane's algorithm in Lean 4, publishing the verified code in the Kadane.lean file on GitHub. The derivation is a single calc …