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
231 stars 54 forks source link

Implement greedy approach for 1526 #852

Closed b-reinke closed 4 days ago

b-reinke commented 4 days ago

Using #849 as a template.

Closes #663