Is there any way to evaluate (check) math proofs (entered in some convenient for computer form) by computer? Only thing that comes to my mind is functional programming, different logics, but I'm not sure if it has any relation.
Asked
Active
Viewed 69 times
1
-
1Automated proof checking is a thing, but I'd assume that the input to any such program would be very different from what you'd ordinarily write as a proof. – Milo Brandt Oct 26 '14 at 14:29