/xsl4tptp

Working with the XML forms of TPTP problems

Primary LanguageXML

Stargazers