tuned E's lambda encoding
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE462d652ad910: use Vampire's clausifier with iProver, now that E's is no longer supported
- Branches
- Unknown
- Tags
tuned E's lambda encoding Tags None Subscribers None |