Lean proved this program was correct; then I found a bug (kirancodes.me) 7 points by gopiandcode 5mo ago ↗ HN
1 comment
[ 3.3 ms ] story [ 17.6 ms ] thread