Skip to content

factor out the OTP proof to work with an abstract xor#26

Open
haselwarter wants to merge 1 commit into
mainfrom
otp-refactor
Open

factor out the OTP proof to work with an abstract xor#26
haselwarter wants to merge 1 commit into
mainfrom
otp-refactor

factor out the OTP proof to work with an abstract xor

5c038b9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs