Universal algebra in UniMath. - Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi (Math. Struct. Comput. Sci., 2024)