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

DASHBOARD: Add the finite magma version of the statistics to the dashboard #838

Open teorth opened 1 hour ago

teorth commented 1 hour ago

Discussed at https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Thoughts.20and.20impressions.20thread/near/482659072

vlad902 commented 1 hour ago

claim