Automated proof checking