2 ms·
>they are proof that the work that you just did is correct Nope. They may be evidence, but they aren't proof. Proof comes from formal systems like type systems
by wyager 10y ago
>they are proof that the work that you just did is correct
Nope. They may be evidence, but they aren't proof. Proof comes from formal systems like type systems.