← All repos

tom7/noperts

View on GitHub ↗ ★ 14 Lean

Reproducible nopert proofs

3 mentions on Hacker News by 3 people: 3 stories, 0 comments · first 2026-10-13 · latest 2026-11-02