LCF-style Bit-Blasting in HOL4

by Anthony C. J. Fox
Citations:2 - 0 self