|
|
|
|
|
|
by teiferer
1 day ago
|
|
|
> It mostly just takes practice If practice is enough to get a formal system to be correct then why are we doing all this in the first place? Just write correct software! Oh, you can make mistakes? Exaclty! Just like when writing the spec. |
|
|
If that is what you got from my comment, then you did not read my comment.