Draft: Refactor examples
Examples re-use the code for proof generation and for verification. That makes the examples much shorter.
(The merge request includes !161 (merged))
Examples re-use the code for proof generation and for verification. That makes the examples much shorter.
(The merge request includes !161 (merged))