2026
- 31 Oct 2026 — AI Weekly, “EasyProver nears saturation on Lean verification benchmarks”
- 29 Oct 2026 — The Data Exchange podcast with Leo de Moura, “When AI Writes the Code, Who Proves It Works?”
- 21 Oct 2026 — h5i, “I Tried to Verify Popular Rust OSS with Lean 4, but Found Bugs Instead”
- 15 Oct 2026 — Leo de Moura, “Lean Now Ships with Verified Kernels”
- 29 Sep 2026 — hax blog, “hax 0.4: easier to install and configure, and a new Lean backend”
- Sep 2026 — arXiv 2609.15648, “Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean” (SymCrypt technical report)
- Aug 2026 — Startuphub.ai, “Formal Verification Moves Into AI Coding” (AWS)
- Aug 2026 — The Peterman Post, interview with Leo de Moura
- 28 Aug 2026 — Stack Overflow podcast with Leo de Moura, “When you keep AI Lean, you keep AI correct”
- 13–14 Jul 2026 — Microsoft Research blog, “Verifying Rust cryptography in SymCrypt, from standards to code”
Coverage of Mark Russinovich’s LinkedIn post
- 2 Jul 2026 — Mistral, “Leanstral 1.5: Proof Abundance for All”
- 28 May 2026 — Runtime Verification blog, “From Rust Source Code to Mathematical Proof”
Paper: arXiv 2605.30106
- 5 May 2026 — Jonathan Protzenko, “A case study with Aeneas and jxl-rs”
- 20 Apr 2026 — Leo de Moura, “Signal Shot: The Platform Is Ready”
- 2 Apr 2026 — Leo de Moura, “Why Lean?”
2025