The Coq mailing list

[Venanzio Capretta <venanzio AT cs.kun.nl>]

A development of Universal Algebra in Coq (version 6.2.3) is available
at my web page

http://cs.kun.nl/~venanzio/universal_algebra.html

The development contains
* Definition of setoids at the Set level;
* Definition of signatures
* Definition of Algebras
* Constructions on Algebras (subalgebras, products, quotients)
* Term Algebras
* Homomorphisms of Algebras
* Proof of some basic properties

----------------------
Venanzio Capretta
University of Nijmegen
Faculty of Mathematics
       and Informatics
the Nederlands
tel.: +31-24-3652232
----------------------