coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: Universal Algebra

From: "Randy Pollack" <rap AT dcs.ed.ac.uk>
To: venanzio AT cs.kun.nl
Cc: coq-club AT pauillac.inria.fr
Subject: Re: Universal Algebra
Date: Thu, 25 Feb 1999 14:02:12 GMT

> 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

That's http://www.cs.kun.nl/~venanzio/universal_algebra.html
^^^

Randy

Universal Algebra, Venanzio Capretta
- Re: Universal Algebra, Randy Pollack