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
257 stars 57 forks source link

LOW_PRIORITY: Replace the use of `native_decide` in #829 #834

Closed teorth closed 1 week ago

teorth commented 1 week ago

This may require an update to Mathlib's `Multiset.decidableForallMultiset. Discussed at https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Mathlib.20Bump/near/482271011

teorth commented 1 week ago

Resolved