revived 'try0' and 'smart' Isar proofs in Sledgehammer
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLEd7595b12b9ea: Cleanup of NonstandardAnalysis
- Branches
- Unknown
- Tags
revived 'try0' and 'smart' Isar proofs in Sledgehammer Tags None Subscribers None
Description
Details
|