Quick and dirty fix for saving proofs on Ctrl-C
A temporary fix for #12 (closed), awaiting a cleaner solution
Reintroduce the proof dumper from !57 (closed), but we save the proof file on every goal addition
A temporary fix for #12 (closed), awaiting a cleaner solution
Reintroduce the proof dumper from !57 (closed), but we save the proof file on every goal addition