3 ms·

I thought proofs and programs were the same thing

• xorand 7y ago
  Constructive proofs are equivalent to programs. But until somebody writes the program, there are always details, context, style, etc which make a proof understandable by a human but not a program. A program is more rigorous than a proof, in this sense.