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

Notations on external symbols are not exported

Open fblanqui opened this issue 1 year ago • 0 comments

fblanqui avatar May 28 '24 12:05 fblanqui