search

leanprover-community / lean4-metaprogramming-book

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

[Draft] Simple attributes #71

Open bollu opened 2 years ago

bollu commented 2 years ago

Create a simpler version of the attribute tutorial by covering whatever Leo did at the post ICERM hackathon.