3 ms·
We have many of those that are perfectly fine. Writing proofs is still quite hard, especially proofs that actually say something about your program.
by yencabulator 1y ago
We have many of those that are perfectly fine. Writing proofs is still quite hard, especially proofs that actually say something about your program.
- kamaal 1y agoProving something is correct is a far harder exercise, than writing a broken but acceptable version of that thing.