PrototypeCommon
optsuite/optlib
No description.
- Owner
- optsuite (personal account)
- Stars
- Stars: 112
- Forks
- Forks: 19
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- vihdzp/combinatorial-gamesStars: 113LeanPrototype
- James-Hanson/junk-theorems-in-leanStars: 113LeanPrototype
- pandaman64/lean-regexStars: 112LeanPrototype
- leanprover-community/quote4Stars: 111LeanPrototype
- schildep/verified-3d-mesh-intersectionStars: 110LeanPrototype
- thefundamentaltheor3m/Sphere-Packing-LeanStars: 108LeanPrototype