coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Lucian M. Patcas" <lucian.patcas AT gmail.com>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] flooring a real number in Coq
- Date: Tue, 24 Sep 2013 21:20:22 -0400
Hello,
I couldn't find a floor function for real numbers in the Standard Library. Is anyone aware of such a function in other libraries?- [Coq-Club] flooring a real number in Coq, Lucian M. Patcas, 09/25/2013
- Re: [Coq-Club] flooring a real number in Coq, Daniel Schepler, 09/25/2013
Archive powered by MHonArc 2.6.18.