Lean4 Macros for Implementing Custom Quantifiers

1 points | by ibobev 14 hours ago