3 ms·
What kind of programming doesn't lead to programs? And before you say proofs, proofs are programs, that's the point.
by murbard2 12y ago
What kind of programming doesn't lead to programs? And before you say proofs, proofs are programs, that's the point.
- solomatov 12y agoProofs are programs but of a very different kind. For example, you don't care about performance.