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

Published 20 hours ago • verified publisher icon leanprover-community

[Draft] Simple attributes

Open bollu opened this issue 3 years ago • 0 comments
trafficstars

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

bollu avatar Jul 27 '22 21:07 bollu