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

(jamesoswald.dev) by ibobev | Oct 15, 2026 | 0 comments on HN