☰
Module proof
Structs
?
Module
arrabbiata
::
proof
source
·
[
−
]
Structs
Proof
FIXME: a proof for the Nova recursive SNARK