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

Emacs: goal not printed after begin or {

Open fblanqui opened this issue 1 year ago • 0 comments

fblanqui avatar Jun 21 '24 09:06 fblanqui