Skip to content

Resolve "[prove] preserves partial proofs on Ctrl-C"

Benjamin Jorge requested to merge 12-prove-preserves-partial-proofs-on-ctrl-c into master

Closes #12

Merge request reports