verify_proof

Validate a candidate Lean theorem and check that it conforms to the given formal statement.