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
265 stars 58 forks source link

Bump Mathlib and Lean (v4.14.0-rc2) #798

Closed pitmonticone closed 3 weeks ago