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

do not print coercions

Open fblanqui opened this issue 1 year ago • 0 comments

fblanqui avatar Nov 19 '24 14:11 fblanqui