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

identifiers of length >1 containing / are not allowed

Open fblanqui opened this issue 3 years ago • 0 comments

useful example: / used in hol-light

fblanqui avatar Jan 13 '23 11:01 fblanqui