Closed Julian closed 2 years ago
Please LMK when it's ready 👍🏼
Think it's good to go immediately, you can see what it did here:
https://github.com/Julian/lean4-metaprogramming-book/releases/tag/latest