search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
Apache License 2.0
78 stars 20 forks source link

SUBGRAPH: Add the implications between 39 and the other equations as proof_wanted statements. #43

Open teorth opened 3 hours ago

teorth commented 3 hours ago

See https://github.com/teorth/equational_theories/issues/33 for some preliminary non-implications