GitHub repository: teorth/equational_theories
Primary language: Lean
Created: 2024-09-26T15:39:22Z
Description: A project to map out the relations between different equational theories of Magmas.