Duplication of binDouble/binDoubleSucc
clayrat opened this issue · comments
We seem to have two versions of those: in Bip, to define bipAnd/bipDiff/bipXor, and in Bin proper as binDPO/binD. As we don't have any proofs of bipAnd etc in Bip, might as well move those to Bin to avoid duplication?
This will also help to do #8 as the functions mentioned reference Bin.