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