PrototypeCommon
teorth/QED
Repository for the QED interactive text and possible extensions
- Owner
- teorth (personal account)
- Stars
- Stars: 127
- Forks
- Forks: 15
- Language
- No language
- License
- MIT
- Created
- 2018
- Tier
- Prototype (100 to 249 ★) 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/estimatesStars: 343JavaScriptAlpha
- teorth/pfrStars: 246LeanPrototype