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

 (jamesoswald.dev)

1 points | by ibobev 4 hours ago ago

No comments yet.