Theorem proving VS testing (with a simple example)github.com/MaiaVictor1 pointLightMachine8 years ago