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