program correct

Read news on program correct with our app.

Read more in the app

Lean proved this program correct; then I found a bug