Zulip Chat Archive
Stream: PR reviews
Topic: metaprogramming in lean, #115
Asei Inoue (Apr 06 2024 at 13:38):
[request of review]
I am not the author of this PR, but I am concerned about this part too...
https://github.com/leanprover-community/lean4-metaprogramming-book/pull/115
Last updated: May 02 2025 at 03:31 UTC