The TPTP World in Github

• It would be great to have

  • Suite of repositories
  • Modernised web browsing
  • Integration with SystemOnTPTP
  • Integration with TPTP2T
  • Export to StarExec

• I do have

  • The TPTP World organization
  • Several repositories therein
    • TPTP Problem library (empty)
    • Service tools (JJParser, TPTP4X, etc.)
    • SyntaxBNF
    • Non-classical logic, and web pages
    • MPTPTP2078 (part of the TDTP)

• Questions, questions

  • What should be there?
  • How should it be structured?
  • Who should have what access in what ways?
  • Should it be separated from my private account?
  • Who is a wizard to do this?