search

wimmers / poly-reductions

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

Fix some broken proof steps in Cook Levin #35

Closed notiho closed 3 years ago