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

Extend associative/commutative modifiers and infix notation to symbols taking additional implicit arguments

Open fblanqui opened this issue 1 year ago • 0 comments

fblanqui avatar Oct 04 '24 06:10 fblanqui