New finite refutation for 1112->1629

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

232 stars 54 forks source link

Closed vlad902 closed 11 hours ago