search

wimmers / poly-reductions

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

Imp minus #23

Closed notiho closed 3 years ago

notiho commented 3 years ago

Definition of IMP-, a reduced version of IMP. We give small and big step semantics with time for it and prove their equivalence.

notiho commented 3 years ago

closes #13