|
|
|
|
|
|
by falcor84
574 days ago
|
|
|
> "sorry son, this code doesn't verify. Try again next time!" But that's not how it works; rather it tells you about the specific issue with a particular step in the proof, which you then debug, as you would with code that isn't compiling (or not passing some static analysis test). |
|
|