Intuitive, type-safe expression quotations for Lean 4.
Primary LanguageLeanApache License 2.0Apache-2.0