# teorth/QED

<https://repo.masters-masters.com/en/repos/teorth/QED>

[Home](https://repo.masters-masters.com/en) › [teorth](https://repo.masters-masters.com/en/owners/teorth) › [QED](https://repo.masters-masters.com/en/repos/teorth/QED)

teorth/QED has 127 stars on GitHub. Its RepoMasters card: Prototype tier. Repository for the QED interactive text and possible extensions

| Field | Value |
| --- | --- |
| Owner | [teorth](https://repo.masters-masters.com/en/owners/teorth) |
| Stars | 127 |
| Forks | 15 |
| Language | No language |
| License | MIT |
| Created | 2018 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [teorth/QED](https://github.com/teorth/QED) |

## Repository

Repository for the QED interactive text and possible extensions

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by teorth

- [teorth/analysis · ★ 1,980 · Lean · Beta](https://repo.masters-masters.com/en/repos/teorth/analysis)
- [teorth/erdosproblems · ★ 881 · Python · Beta](https://repo.masters-masters.com/en/repos/teorth/erdosproblems)
- [teorth/equational\_theories · ★ 565 · Lean · Alpha](https://repo.masters-masters.com/en/repos/teorth/equational_theories)
- [teorth/optimizationproblems · ★ 387 · Python · Alpha](https://repo.masters-masters.com/en/repos/teorth/optimizationproblems)
- [teorth/estimates · ★ 343 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/teorth/estimates)
- [teorth/pfr · ★ 246 · Lean · Prototype](https://repo.masters-masters.com/en/repos/teorth/pfr)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.