Skip to content

Quick and dirty fix for saving proofs on Ctrl-C

Benjamin Jorge requested to merge proof-dumper into master

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

Merge request reports

Loading