Lean proved this program was correct; then I found a bug(kirancodes.me)
5 pointsby gopiandcode4 hours ago1 comment