Conclusion

Conclusion

• Translation of MML proofs to TPTP derivations
• Exported all MML proofs
• Verified the proofs of the MPTP challenge problems

Future Work

• Verifying the CASC Batch Mode problems
• Verifying all of the MML
• Verifying background knowledge