For now, it redirects to the metaprogramming cookbook at: leanprover-cookbook.github.io/lean-metaprogramming-recipes/.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
For now, it redirects to the metaprogramming cookbook at: leanprover-cookbook.github.io/lean-metaprogramming-recipes/.