Updates available but manual intervention required

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

Closed github-actions[bot] closed 3 weeks ago

github-actions[bot] commented 3 weeks ago

Try lake update and then investigate why this update causes the lean build to fail. Files changed in update:

pitmonticone commented 3 weeks ago

claim

pitmonticone commented 3 weeks ago

propose #818