Diffusion Isabelle 4e8a6354c54f

improve ad hoc abduction in Sledgehammer
4e8a6354c54f
Actions

Tags

None

Subscribers

None

Description

improve ad hoc abduction in Sledgehammer

Details

Provenance

Authored on

Parents

rISABELLEf6cb40234009: tuning

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE4e8a6354c54f: improve ad hoc abduction in Sledgehammer.Mar 1 2023, 8:00 AM

Changes (1)

Path

Size

src/

HOL/

Tools/

ATP/

atp_proof_reconstruct.ML

rISABELLE4e8a6354c54f

src/HOL/Tools/ATP/atp_proof_reconstruct.ML

Loading...