teorth/equational_theories

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

Mentions per year 3 mentions · busiest year 2024 (3)

20082026

All Stories Comments Newest Top Oldest

…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