search

wimmers / poly-reductions

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

Cleanup IMP- to SAS+ proofs #32

Open mabdula opened 3 years ago