AlphaUncommon
teorth/estimates
Code to automatically prove or verify estimates in analysis
- Owner
- teorth (personal account)
- Stars
- Stars: 343
- Forks
- Forks: 32
- Language
- JavaScript
- License
- Apache-2.0
- Created
- 2025
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by teorth
All 7 repos by teorth- teorth/analysisStars: 1,979LeanBeta
- teorth/erdosproblemsStars: 879PythonBeta
- teorth/equational_theoriesStars: 563LeanAlpha
- teorth/optimizationproblemsStars: 387PythonAlpha
- teorth/pfrStars: 246LeanPrototype
- teorth/QEDStars: 127Prototype
Nearby in JavaScript
All JavaScript repos- RaidTheory/arcraiders-dataStars: 343JavaScriptAlpha
- jdubois/dr-jskillStars: 343JavaScriptAlpha
- OmkarK97/webos-vibehackStars: 343JavaScriptAlpha
- borismus/MagicTouchStars: 343JavaScriptAlpha
- jergason/recursive-readdirStars: 343JavaScriptAlpha
- foo123/HAAR.jsStars: 343JavaScriptAlpha