fixed veriT environment variable in sledgehammer's documentation
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEd8dc8fdc46fc: prefer veriT over Z3 in sledgehammer
- Branches
- Unknown
- Tags
fixed veriT environment variable in sledgehammer's documentation Tags None Subscribers None |