Updated 1w ago Lean proved this program correct; then I found a bug Technology Zoe Castellano Apr 15 6 min read