ssprove icon indicating copy to clipboard operation
ssprove copied to clipboard

Published 20 hours ago • verified publisher icon SSProve

factor out the OTP proof to work with an abstract xor

Open haselwarter opened this issue 2 years ago • 1 comments

haselwarter avatar Mar 23 '22 17:03 haselwarter

OTP should work over general Boolean algebras. Is that what you're doing?

spitters avatar Mar 24 '22 13:03 spitters