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
139 stars 38 forks source link

BLUEPRINT: Align Chapter 2 with Equations.lean #467

Open teorth opened 2 hours ago

teorth commented 2 hours ago

Discussed at https://leanprover.zulipchat.com/#narrow/stream/458659-Equational/topic/Equations.2Elean.20vs.20Chapter.202

teorth commented 2 hours ago

claim