teorth / equational_theories
git clone https://github.com/teorth/equational_theories.git
A project to map out the relations between different equational theories of Magmas.
+0
stars, 24h · #69,118
+3
stars, 7 days · #33,427
+~8
stars, 30 days · #43,131
565
★ total · +1% this week
111
forks · 30 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2024-09-26 (2y ago)
Last push6d ago
OwnerUser
Links
- GitHub: github.com/teorth/equational_theories
- Homepage: https://teorth.github.io/equational_theories/
- Releases · Issues · Hacker News mentions
README
Loading README…