> 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.
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.