Diffusion afp-devel 6c077dc51be0

various extensions and simplifications to the theorem proving libraries
6c077dc51be0
Actions

Tags

None

Subscribers

None

Description

various extensions and simplifications to the theorem proving libraries

Details

Provenance

Authored on

Parents

rAFP3483f9d26850: added lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP6c077dc51be0: various extensions and simplifications to the theorem proving libraries.May 15 2020, 7:23 AM

Changes (4)

Path

Size

thys/

Ordered_Resolution_Prover/

Lazy_List_Liminf.thy

Saturation_Framework/

Consequence_Relations_and_Inference_Systems.thy

Prover_Architectures.thy

rAFP6c077dc51be0

thys/Ordered_Resolution_Prover/Lazy_List_Liminf.thy

Loading...

thys/Saturation_Framework/Calculi.thy

Loading...

thys/Saturation_Framework/Consequence_Relations_and_Inference_Systems.thy

Loading...

thys/Saturation_Framework/Prover_Architectures.thy

Loading...