Skip to content

A project to map out the relations between different equational theories of Magmas.

License

Notifications You must be signed in to change notification settings

carlini/equational_theories

 
 

Repository files navigation

Equational theory project

License: Apache 2.0

The purpose of this project is to explore the space of equational theories of magmas, ordered by implication. To begin with we shall focus only on theories of a single equation, which are listed here.

A (manually created) graph of the dependencies obtained so far can be found here, current as of Sep 26 2024.

Links:

About

A project to map out the relations between different equational theories of Magmas.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 45.2%
  • TeX 27.9%
  • Lean 17.3%
  • HTML 5.0%
  • Ruby 1.4%
  • Batchfile 0.9%
  • Other 2.3%