Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Parity refined


view this post on Zulip Email Gateway (Aug 19 2022 at 14:15):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi all,

I am planning some steps to let three separate constructs in
Isabelle/HOL converge:

Convergence here means the following things:

With this more unified concept of parity, it should be possible

A future perspective could be to unify and simplify the
bit-representation stuff from the HOL-Word theories.

I am looking forward to comments and suggestions.

Cheers,
Florian
signature.asc


Last updated: Mar 28 2024 at 16:17 UTC