James Oswald
About
Blog
Profiles
Contact
Series: DefDel
October 8, 2026
def∇: A Drop In def∇
October 7, 2026
def∇: An APL-Style Self Reference Macro for Lean4