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

emacs/vscode: automatically add/remove {}'s after a tactic when there are too few/many subproofs

Open fblanqui opened this issue 1 year ago • 0 comments

fblanqui avatar Nov 22 '24 08:11 fblanqui