#+title: BitEQ
#+author: Yann Herklotz

Reasoning about bit equality