4 ms·
On the other hand, proofs sometimes give you more than you'd expect. A proof that the implementation of a function always returns some value automatically prove
by 986aignan 2y ago
On the other hand, proofs sometimes give you more than you'd expect. A proof that the implementation of a function always returns some value automatically proves that there's no arbitrary code execution, for instance.