PrototypeCommon
pandaman64/lean-regex
No description.
- Owner
- pandaman64 (personal account)
- Stars
- Stars: 112
- Forks
- Forks: 17
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Topics
- lean4
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by pandaman64
All 3 repos by pandaman64- pandaman64/serde-queryStars: 319RustAlpha
- pandaman64/effective-rustStars: 155RustPrototype
Nearby in Lean
All Lean repos- AxiomMath/Putnam2025Stars: 114LeanPrototype
- optsuite/optlibStars: 113LeanPrototype
- vihdzp/combinatorial-gamesStars: 113LeanPrototype
- leanprover-community/quote4Stars: 111LeanPrototype
- schildep/verified-3d-mesh-intersectionStars: 110LeanPrototype
- thefundamentaltheor3m/Sphere-Packing-LeanStars: 108LeanPrototype