[Agda] algebra libraries

[Nils Anders Danielsson]

On 2012-11-30 18:55, Serge D. Mechveliani wrote:
> Does there exist this kind of algebra library in Agda ?

I don't know. You could take a look at the following page:

   http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries

> in Coq ?

I think the following two projects are relevant, possibly others as
well:

   http://math-classes.org/
   http://www.msr-inria.inria.fr/Projects/math-components/

-- 
/NAD