search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
https://teorth.github.io/equational_theories/
Apache License 2.0
257 stars 57 forks source link

WRITING: create a more precise structure for `project.tex` #873

Open teorth opened 5 days ago

teorth commented 5 days ago

See the discussion at https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Drafting.20the.20paper/near/483764649

Shreyas4991 commented 5 days ago

claim