2 papers
cs.LO2021
Universal Algebra in UniMath
Gianluca Amato, Matteo Calosci, Marco Maggesi +1
We present our library for Universal Algebra in the UniMath framework dealing with multi-sorted signatures, their algebras, and the basics for equation systems. We show how to impl…
cs.LO2020
Universal Algebra in UniMath
Gianluca Amato, Marco Maggesi, Maurizio Parton +1
We present an ongoing effort to implement Universal Algebra in the UniMath system. Our aim is to develop a general framework for formalizing and studying Universal Algebra in a pro…