3 ms·
Test Driven Development does this. Each test is a theorem about your code.
by crb002 7y ago
Test Driven Development does this. Each test is a theorem about your code.
- pezo1919 7y agoYes it is true, but you might accidentally skip cases which a proof assistant will tell you about. There is much information you can specify than later extract from the already given piece of code eg. with dependent types.