Orbis-Tertius/haskell-fri-proofs

Allow early stopping

Opened this issue · 0 comments

morganthomas commented
Allow early stopping