Universal Algebra in UniMath: Formalizing Algebras and Equations

Formalizing algebras and equations in the UniMath framework for universal algebra.