Lean4 Macros for Implementing Custom Quantifiers

(jamesoswald.dev)

1 points | by ibobev 13 hours ago ago