Fix DummyProofGenerator serialization#1634
Merged
Nashtare merged 3 commits intomainfrom fix/serializationOct 17, 2024
+56-18
Commits
Commits on Oct 16, 2024
- committed
- committed
Commits on Oct 17, 2024
- committed