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