Skip to content

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

Closes #12 (closed)

Merge request reports