proper usage of hypotheses for zipperposition's TPTP generation
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE8b6fa865bac4: merged
- Branches
- Unknown
- Tags
proper usage of hypotheses for zipperposition's TPTP generation Tags None Subscribers None |