3 ms·
We can't have provably correct software without theorem proofs. Provably correct software is a good thing.
by regularfry 14y ago
We can't have provably correct software without theorem proofs. Provably correct software is a good thing.
loading thread…