Monty Newborn

Position Statement: A Few Thoughts

It would be nice if there were some sort of proof verifier that could
accept the many different formats that the different provers use.  It
would also be nice to see the proofs of theorems in FOF format go into
detail more detail than they do now on the transformation from wff to
clauses.  I also think there is enough on the plate not to get into higher
ordered logic.  It would also be nice if there was a place on the TPTP
website that posted proofs of theorems that were proved for the first
time.