AlphaPeu commune
teorth/equational_theories
A project to map out the relations between different equational theories of Magmas.
- Propriétaire
- teorth (compte personnel)
- Étoiles
- Étoiles : 564
- Forks
- Forks : 111
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de teorth
Les 7 dépôts de teorth- teorth/analysisÉtoiles : 1 979LeanBêta
- teorth/erdosproblemsÉtoiles : 878PythonBêta
- teorth/optimizationproblemsÉtoiles : 387PythonAlpha
- teorth/estimatesÉtoiles : 343JavaScriptAlpha
- teorth/pfrÉtoiles : 246LeanPrototype
- teorth/QEDÉtoiles : 127Prototype
D’autres dépôts Lean
Tous les dépôts Lean- uwdb/CosetteÉtoiles : 690LeanAlpha
- litexlang/golitexÉtoiles : 685LeanAlpha
- AndrasKovacs/smallttÉtoiles : 611LeanAlpha
- lecopivo/SciLeanÉtoiles : 542LeanAlpha
- jinshanmu/CrouzeixConjectureÉtoiles : 532LeanAlpha
- anthropics/formal-mathÉtoiles : 454LeanAlpha