Because the current state of the art of automated proof checking is still trying...

		dagw on Feb 3, 2022 \| parent \| context \| favorite \| on: Why isn't there a replication crisis in math? Because the current state of the art of automated proof checking is still trying to check all the proofs you'll see in a undergraduate program and nowhere near able to check state of the art proofs.