From 9134c083c3577010f227e78cd5b7e5b549cf7796 Mon Sep 17 00:00:00 2001 From: "russell@unturf.com" Date: Mon, 13 Apr 2026 10:30:36 -0400 Subject: [PATCH] feat: update lean4 outreach doc with confirmed benchmark speedups Replace "up to 1000x" with measured results: 34x/678x/210x. Status: patch-ready on unlean4 branch, 7 patches complete. --- whitepaper/outreach/lean4.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/whitepaper/outreach/lean4.md b/whitepaper/outreach/lean4.md index a64f8b868..50cb22918 100644 --- a/whitepaper/outreach/lean4.md +++ b/whitepaper/outreach/lean4.md @@ -3,8 +3,8 @@ **Project:** Lean 4 (leanprover/lean4) **Disclosure date:** 2026-04-13 **Severity:** HIGH -**Speedup:** varies (O(N^2) to O(N); up to 1000x on deep dependency chains) -**Status:** draft — patches in progress +**Speedup:** varies by defect: 34x (lean4-0001 N=2000), 678x (lean4-0002 K=N=1000), 210x (lean4-0003 N=1000) — all confirmed by benchmark +**Status:** patch-ready — 7 patches on unlean4 branch, benchmarks complete ---