Closed alessandroguggino closed 2 years ago
Fix to stay consistent with the definitions of R and U in ProofGen (and ProofVerify)
R
U
ProofGen
ProofVerify
Discussed in the WG call. Multiple approvals. Merging! Thanks @alessandroguggino!
Fix to stay consistent with the definitions of
R
andU
inProofGen
(andProofVerify
)