I admit I am confused about what exactly “proof based math” means. I assumed that in general all math is proof based, so this specifically refers to computer proofs. If not, then of course my advice does not apply.
I admit I am confused about what exactly “proof based math” means. I assumed that in general all math is proof based, so this specifically refers to computer proofs. If not, then of course my advice does not apply.