coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "fengsheng" <fsheng1990 AT 163.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] How to define the devision on nat by using Fixpoint
- Date: Thu, 20 Dec 2012 04:17:21 +0100 (CET)
when I wrote a function to convert natural numbers to binary numbers,I met a
problem:how to take the value of a number half.
- [Coq-Club] How to define the devision on nat by using Fixpoint, fengsheng, 12/20/2012
- Re: [Coq-Club] How to define the devision on nat by using Fixpoint, Jason Gross, 12/20/2012
- Re: [Coq-Club] How to define the devision on nat by using Fixpoint, AUGER Cédric, 12/20/2012
- Re: [Coq-Club] How to define the devision on nat by using Fixpoint, Adam Chlipala, 12/20/2012
- Re: [Coq-Club] How to define the devision on nat by using Fixpoint, AUGER Cédric, 12/20/2012
- Re: [Coq-Club] How to define the devision on nat by using Fixpoint, Adam Chlipala, 12/20/2012
Archive powered by MHonArc 2.6.18.