fixed $ite syntax in TPTP TFX generation
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE3f371ba2b4fc: more Haskell operations;
- Branches
- Unknown
- Tags
fixed $ite syntax in TPTP TFX generation Tags None Subscribers None |