i'm still pretty new to Lean's metaprogramming, do you have any examples that are public? I think this aspect of Lean almost excites me more than the theorem proving side of things - ThreadSky

texoport.in • 6 days ago

i'm still pretty new to Lean's metaprogramming, do you have any examples that are public? I think this aspect of Lean almost excites me more than the theorem proving side of things