search

wimmers / poly-reductions

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

IMP- to SAS+ #25

Closed notiho closed 3 years ago

notiho commented 3 years ago

Goal: Solve #24