This isn't about formal proofs, it's about manual testing and simple automated t...

		simonw 18 days ago \| parent \| context \| favorite \| on: Your job is to deliver code you have proven to wor... This isn't about formal proofs, it's about manual testing and simple automated tests.