reused Sledgehammer code to parse parameters of sledgehammer action in Mirabelle
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEf9908452b282: proper proxy for Hilbert choice in TPTP output
- Branches
- Unknown
- Tags