Doron says a program is better than a proof.
Do you know what Curry-Howard Isomorphism is?
Do teachers change their next lecture or do they teach the same proof as they did last year?
They do. Our Haskell prof offers a course called "Proofs and Types"
Once in the mechanics class, our physics professor gave a very strange argument to claim that an expression is true.
I was perplexed and asked how that is a proof of anything?
He said, its a physicist's proof. A physicist understands that if this went wrong then something very weird would happen.
I asked, So you mean a verification?
He said, no, it's a legit proof. Keep in mind that a mathematician's idea of what a proof is, is different from what a physicist thinks a proof is.