Factor out common stuff between online and offline provers, and name things
Factor out common stuff between online and offline provers, and name things

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol