Diffusion Isabelle 585b877df698

basic integration of Zipperposition 2.0
585b877df698
Actions

Tags

None

Subscribers

None

Description

basic integration of Zipperposition 2.0

Details

Provenance

Authored on

Parents

rISABELLE618a0ab13868: tuned Mirabelle comments

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE585b877df698: basic integration of Zipperposition 2.0.Aug 20 2020, 11:52 AM

Changes (3)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

ATP/

atp_problem_generate.ML

rISABELLE585b877df698

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/Tools/ATP/atp_problem_generate.ML

Loading...

src/HOL/Tools/ATP/atp_systems.ML

Loading...