3 ms·
How does that compare to the time it takes to write code vs test code? Maybe not quite that extreme, but test code is time consuming, and is essentially what th
by alexbeloi 9y ago
How does that compare to the time it takes to write code vs test code? Maybe not quite that extreme, but test code is time consuming, and is essentially what theorem proving is.
- umanwizard 9y agoHow is test code related to theorem proving?