GitHub repos by teorth
7 public repos by teorth in the catalog, most starred first.
- teorth/analysisStars: 1,979LeanBeta
- teorth/erdosproblemsStars: 879PythonBeta
- teorth/equational_theoriesStars: 563LeanAlpha
- teorth/optimizationproblemsStars: 387PythonAlpha
- teorth/estimatesStars: 343JavaScriptAlpha
- teorth/pfrStars: 246LeanPrototype
- teorth/QEDStars: 127Prototype