3 ms·This isn't about formal proofs, it's about manual testing and simple automated tests.by simonw 11mo agoThis isn't about formal proofs, it's about manual testing and simple automated tests.