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.
2026-04-01 06:23:51.1775024631
Evaluating math proofs by computer
70 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
Have a look at Coq. It is an advanced formal proof system.