Lean proved this program was correct; then I found a bug

(kirancodes.me) by gopiandcode | Apr 13, 2026 | 0 comments on HN