Skip to content

Draft: Refactor examples

Nikolay Kurtov requested to merge nkurtov/nice-examples into main

Examples re-use the code for proof generation and for verification. That makes the examples much shorter.

(The merge request includes !161 (merged))

Merge request reports