leanprover-community / lean4-metaprogramming-bookLinks

249Updated 3 months ago

Alternatives and similar repositories for lean4-metaprogramming-book

Users that are interested in lean4-metaprogramming-book are comparing it to the libraries listed below

Sorting: