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
231 stars 54 forks source link

Fix I'm feeling lucky button #842

Closed vlad902 closed 5 days ago

vlad902 commented 5 days ago

Mentioned in https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/equation.20explorer.20I'm.20not.20feeling.20lucky/near/482815207