added parentheses in TPTP output -- seem necessary for some provers
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE4598cf29ef98: merged
- Branches
- Unknown
- Tags
added parentheses in TPTP output -- seem necessary for some provers Tags None Subscribers None |