search

wimmers / poly-reductions

Polynomial-time reductions in Isabelle/HOL
2 stars 13 forks source link

Proof of Cook-Levin at HOL level #33

Closed mabdula closed 3 years ago

mabdula commented 3 years ago

I opened it by mistake