Diffusion afp-devel 15cc700782ed

New entry Cook_Levin
15cc700782ed
Actions

Tags

None

Subscribers

None

Description

New entry Cook_Levin

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP30d87b385d1b: Sorry — extra files for Boolos_Curious_Inference_Automated

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP15cc700782ed: New entry Cook_Levin.Jan 10 2023, 5:17 PM

Changes (26)

Path

Size

Aux_TM_Reducing.thy

Combinations.thy

Lists_Lists.thy

Oblivious_2_Tape.thy

Oblivious_Polynomial.thy

Reduction_TM.thy

Satisfiability.thy

Two_Four_Symbols.thy

rAFP15cc700782ed

thys/Cook_Levin/Arithmetic.thy

Loading...

thys/Cook_Levin/Aux_TM_Reducing.thy

Loading...

thys/Cook_Levin/Basics.thy

Loading...

thys/Cook_Levin/Combinations.thy

Loading...

thys/Cook_Levin/Composing.thy

Loading...

thys/Cook_Levin/Elementary.thy

Loading...

thys/Cook_Levin/Lists_Lists.thy

Loading...

thys/Cook_Levin/Memorizing.thy

Loading...

thys/Cook_Levin/NP.thy

Loading...

thys/Cook_Levin/Oblivious.thy

Loading...

thys/Cook_Levin/Oblivious_2_Tape.thy

Loading...

thys/Cook_Levin/Oblivious_Polynomial.thy

Loading...

thys/Cook_Levin/ROOT

Loading...

thys/Cook_Levin/Reducing.thy

Loading...

thys/Cook_Levin/Reduction_TM.thy

Loading...

thys/Cook_Levin/Sat_TM_CNF.thy

Loading...

thys/Cook_Levin/Satisfiability.thy

Loading...

thys/Cook_Levin/Symbol_Ops.thy

Loading...

thys/Cook_Levin/Two_Four_Symbols.thy

Loading...

thys/Cook_Levin/Wellformed.thy

Loading...

thys/Cook_Levin/document/root.bib

Loading...

thys/Cook_Levin/document/root.tex

Loading...

thys/ROOTS

Loading...