There are numerous projects for proof checking: https://en.wikipedia.org/wiki/Automated_proof_checking https://en.wikipedia.org/wiki/Automated_proof_checking S

There are numerous projects for proof checking: https://en.wikipedia.org/wiki/Automated_proof_checking https://en.wikipedia.org/wiki/Automated_proof_checking Such an algorithm could consist of the following parts: * a parser * a syntax checker: to test how correct the used mathematical notation is * if possible translate non-standard notation to standard * using some sort of supervised learning for checking existing proofs with existing proof solvers * manual intervention: improve translator or underlying proof solver