Automating Bitvector and Finite Field Equivalence Proofs in Lean.

Elizaveta Pertseva, Valentin Robert, Clark W. Barrett, James Parker

Browse the full CAV paper archive.