[catnaroek]

> use the model checker before writing a proof to get a counterexample.

Lovely, they should have taught me algebraic geometry that way. /s

Trying to write proofs without knowing a priori the truth value of the proposition to be proved builds character, and it's an important part of developing mathematical maturity. It forces you to develop intuition for what could or could not be true.

[pron]

Programmers on a deadline don't want to spend months building character on every software component.

[catnaroek]

Replace programmers with mathematicians who already have character and intellectual integrity.