Conclusion

Contribution

• Translation of TSTP proofs to PML
• Proof viewers with links to provenance information

Future Work

• Combining and aggregating proofs
• Producing new proofs with desired characteristics
• Extension to accomodate new TPTP THF proofs

The End - Any Questions?