lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

admitted goals in aborted proof

Open fblanqui opened this issue 3 years ago • 0 comments

When a proof is aborted, the admitted goals (tactic admit) are kept in the signature.

fblanqui avatar Oct 12 '22 10:10 fblanqui