Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

PrototypeCommune

teorth/QED

Repository for the QED interactive text and possible extensions

Propriétaire: teorth (compte personnel)
Étoiles: Étoiles : 127
Forks: Forks : 15
Langage: Sans langage
Licence: MIT
Création: 2018
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

Autres dépôts de teorth

Les 7 dépôts de teorth

teorth/analysisÉtoiles : 1 979LeanBêta
teorth/erdosproblemsÉtoiles : 879PythonBêta
teorth/equational_theoriesÉtoiles : 563LeanAlpha
teorth/optimizationproblemsÉtoiles : 387PythonAlpha
teorth/estimatesÉtoiles : 343JavaScriptAlpha
teorth/pfrÉtoiles : 246LeanPrototype