Skip to content

[prove] preserves partial proofs on Ctrl-C

An interrupted proof process looses all results collected so far.

Edited by Loïc Correnson