Lean4 Macros for Implementing Custom Quantifiers

1 points | by ibobev 13 hours ago