Diffusion afp-devel 9df178c7dd08

enriched theorem proving library
9df178c7dd08
Actions

Tags

None

Subscribers

None

Description

enriched theorem proving library

Details

Provenance

Authored on

Parents

rAFP19fa00c4832d: adapt to Isabelle 07c85c68ff03

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP9df178c7dd08: enriched theorem proving library.May 18 2020, 5:07 PM

Changes (4)

Path

Size

thys/

Ordered_Resolution_Prover/

Lazy_List_Chain.thy

Lazy_List_Liminf.thy

Proving_Process.thy

Saturation_Framework/

rAFP9df178c7dd08

thys/Ordered_Resolution_Prover/Lazy_List_Chain.thy

Loading...

thys/Ordered_Resolution_Prover/Lazy_List_Liminf.thy

Loading...

thys/Ordered_Resolution_Prover/Proving_Process.thy

Loading...

thys/Saturation_Framework/Calculi.thy

Loading...