2 ms·Proofs are programs but of a very different kind. For example, you don't care about performance.by solomatov 12y agoProofs are programs but of a very different kind. For example, you don't care about performance.