offline-ant/wiggums-proof-loop

Simplify/shrink this Lean proof, repeatedly: 24.65% fewer substantive lines; same protected theorem, fresh kernel verification.

1 best points · 0 comments · 1 Hacker News post · 2 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Reducing an OpenAI proof by 25% in a few hours (1 points, 0 comments, by athrowaway3z, 2026-10-09)