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
212 stars 51 forks source link

FRONTEND: Add a script that filters unknown implications up to duality #397

Closed amirlb closed 1 month ago

amirlb commented 1 month ago

claim

amirlb commented 1 month ago

propose PR #399