lean4-metaprogramming-book icon indicating copy to clipboard operation
lean4-metaprogramming-book copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Iterate on feedback from Dan

Open arthurpaulino opened this issue 3 years ago • 1 comments
trafficstars

https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Metaprogramming.20tutorial/near/285465861

arthurpaulino avatar Jun 12 '22 16:06 arthurpaulino

More: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Metaprogramming.20tutorial/near/292051009

arthurpaulino avatar Aug 04 '22 21:08 arthurpaulino