AlphaUncommon
teorth/equational_theories
A project to map out the relations between different equational theories of Magmas.
- Owner
- teorth (personal account)
- Stars
- Stars: 565
- Forks
- Forks: 111
- Language
- Lean
- License
- Apache-2.0
- Created
- 2024
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by teorth
All 7 repos by teorth- teorth/analysisStars: 1,980LeanBeta
- teorth/erdosproblemsStars: 881PythonBeta
- teorth/optimizationproblemsStars: 387PythonAlpha
- teorth/estimatesStars: 343JavaScriptAlpha
- teorth/pfrStars: 246LeanPrototype
- teorth/QEDStars: 127Prototype
Nearby in Lean
All Lean repos- litexlang/golitexStars: 685LeanAlpha
- AndrasKovacs/smallttStars: 611LeanAlpha
- anthropics/FlashProveStars: 583LeanAlpha
- lecopivo/SciLeanStars: 544LeanAlpha
- jinshanmu/CrouzeixConjectureStars: 532LeanAlpha
- anthropics/formal-mathStars: 457LeanAlpha