PrototypeCommon
leanprover-community/quote4
Intuitive, type-safe expression quotations for Lean 4.
- Owner
- leanprover-community (organization)
- Stars
- Stars: 111
- Forks
- Forks: 28
- Language
- Lean
- License
- Apache-2.0
- Created
- 2021
- Topics
- lean4
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,414LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 818LeanBeta
- leanprover-community/mathematics_in_leanStars: 625HTMLAlpha
- leanprover-community/lean4gameStars: 576TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
Nearby in Lean
All Lean repos- James-Hanson/junk-theorems-in-leanStars: 113LeanPrototype
- optsuite/optlibStars: 112LeanPrototype
- pandaman64/lean-regexStars: 112LeanPrototype
- schildep/verified-3d-mesh-intersectionStars: 110LeanPrototype
- thefundamentaltheor3m/Sphere-Packing-LeanStars: 108LeanPrototype
- NethermindEth/LeanCILStars: 108LeanPrototype