Re: [isabelle] Modular arithmetic theory?
Thanks everyone for your investigation into this! It looks like I may
have to write some specialized tactics for modular arithmetic to get
However, Hasan Amjad pointed me to an interesting paper by Domagoj
Babic and Madanlal Musuvathi on a decision procedure for integers mod
2^k (which is really what I'm interested in). It also supports non-
linear terms and inequalities. It's the first publication on
Domagoj's web page:
No performance numbers, though.
This archive was generated by a fusion of
Pipermail (Mailman edition) and