Hacker GitHub

← All repos

offline-ant/wiggums-proof-loop

View on GitHub ↗ ★ 2 Lean

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

3 mentions on Hacker News by 1 person: 1 story, 2 comments · first 2026-10-09 · latest 2026-10-24

Mentions per year 3 mentions · busiest year 2026 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 1
    Show HN: Reducing an OpenAI proof by 25% in a few hours
    story by athrowaway3z · 2026-10-09 · 0 comments