Universal Algebra in UniMath

11 Feb 2021 Gianluca Amato Marco Maggesi Cosimo Perini Brogi

We present recent updates in our development of a library for Universal Algebra in the UniMath proof assistant. The code here discussed concerns multi-sorted signatures and their algebras, along with the basics for equation systems... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC IN COMPUTER SCIENCE
  • LOGIC