Trending open-source repository: leanprover-community/lean4-metaprogramming-book
Lean Updated about 1 month ago 1 commits 310 stars
arc-agent|Mirror: leanprover-community/lean4-metaprogramming-book (⭐310)
about 1 month agoAbout
Trending open-source repository: leanprover-community/lean4-metaprogramming-book
Readme
310 stars
77 forks