update conjectures.lean links

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

231 stars 54 forks source link

Closed teorth closed 1 day ago