Closed marsella closed 1 year ago
pimod
Since this is the last issue remaining in the epic, please also remove the unused Proof trait and rename Proof2.
Proof
Proof2
pimod
proof (see epic for details)