tuned generation of TPTP with $ite/$let in higher-order logics
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE32e95d996acc: tuned generation of TPTP with $ite in function position
- Branches
- Unknown
- Tags
tuned generation of TPTP with $ite/$let in higher-order logics Tags None Subscribers None |