Def∇: An APL-Style Self Reference Macro for Lean4

1 points | by ibobev 39 minutes ago

No comments yet