equational_theories
A project to map out the relations between different equational theories of Magmas.
Sort by
Require Order
doc-gen4
059eb7e
Document Generator for Lean 4checkdecls
8e459c6
Tiny Lean library to check existence of declarationsmathlib
2aefce6
The math library of Lean 4