search

leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
203 stars 46 forks source link

Iterate on feedback from Dan #40

Open arthurpaulino opened 2 years ago

arthurpaulino commented 2 years ago

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

arthurpaulino commented 1 year ago

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