coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Loic Pottier <Loic.Pottier AT sophia.inria.fr>
- To: coq-club AT pauillac.inria.fr
- Subject: division and gcd
- Date: Thu, 08 Oct 1998 14:25:36 +0200
- Fax: (33) 93 65 78 58
- Organization: INRIA, Sophia Antipolis, France
- Telephone: (33) 93 65 78 19
I did not find euclidean division in the ZARITH library. (there is division
by
2). Does it exist elsewhere? and gcd?
Loïc Pottier
- division and gcd, Loic Pottier
- Re: division and gcd, Patrick Loiseleur
Archive powered by MhonArc 2.6.16.