{"type": "article", "title": "Formally deriving programs from specifications (Bird-Meertens) using Lean 4", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/formally-deriving-programs-from-specifications-bird-meertens-using-lean-4", "original_source": "https://satnam6502.github.io/bird-meertens/", "published": "2026-10-05T23:31:05+00:00", "accessed": "2026-10-06", "id": "formally-deriving-programs-from-specifications-bird-meertens-using-lean-4"}