Conclusion

What we Have

• Underlying infrastructure of the TPTP World
• Formats for derivations and interpretations
• Tools for visualizing and verifying derivations and interpretations

Things we Need

• Representation of other proof forms, e.g., tableau, sequent, and connection calculi (work!)
• Statistics for interpretations (work!)
• IIV for Kripke interpretations (student needed)