search

wimmers / poly-reductions

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

Added final HOL version of the Cook-Levin thm #34

Closed mabdula closed 3 years ago