Create new arithmetical operations for `IMP-`

wimmers / poly-reductions

Polynomial-time reductions in Isabelle/HOL

2 stars 13 forks source link

Closed BilelGho closed 3 years ago

BilelGho commented 3 years ago

adding the following operations:

parity check (integer is even or odd)
left bitshift (integer division by 2) to the IMP- arithmetic expressions/operations.