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

(jamesoswald.dev)

1 points | by ibobev 5 hours ago

No comments yet.