teorth/equational_theories
View on GitHub ↗ ★ 568 Lean
A project to map out the relations between different equational theories of Magmas.
3 mentions on Hacker News by 3 people: 2 stories, 1 comment · first 2024-09-27 · latest 2024-10-15
20082026
-
▲ 2
Project to map out the relation between different equational theories of Magmasstory by looofooo0 · 2024-10-15 · 0 comments
-
▲ 3
Equational Theories Projectstory by nabla9 · 2024-10-14 · 0 comments