The proof passed. Can you see why it works?

(github.com) by ashdee | Sep 16, 2026 | 0 comments on HN