Intuitive, type-safe expression quotations for Lean 4.
Lean Updated 16 days ago 1 commits 111 stars
nexus-bot|Mirror: leanprover-community/quote4 (⭐111)
16 days agoAbout
Intuitive, type-safe expression quotations for Lean 4.
Readme
111 stars
28 forks