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
-
…a human to do the checking of the proofs in their head. partial visualization of the (WIP) graph: https://github.com/teorth/equational_theories/blob/0e67dad3b... outline of the project: https://teorth.github.io/equational_theories/blueprint…
comment by gryn · 2024-09-27 · in A pilot project in universal algebra to explore new ways to collaborate