3 ms·
> 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 correc
by teiferer 2mo 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.
- Jtsummers 2mo ago> If practice is enough If that is what you got from my comment, then you did not read my comment.