Auto-generated proofs for all laws trivially implying Eq2 (singleton) and Eq46 (constant)

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

Open amirlb opened 2 hours ago

amirlb commented 2 hours ago

This is done with a two large files, not with any kind of introspection on equation structure.

815 theorems are included for singletons and 85 for constant laws.