coq-club AT inria.fr

Subject: The Coq mailing list

List archive

chronological Thread

From: catty wang <catty.wang AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] how to prove this?
Date: Tue, 29 Jun 2010 13:52:46 +0800
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=Ae1VUChv9L1uCP+8IqfaFz0UtfepRW03hncgLizAwxeG0HMQUzIPHqK8h2qQFhznoz Kiaees52xa7xk8MblpHAlvptRTa22YpaN5pqcF7g/cPNzOkMa3/PnvKNMgXcr2NARwmr /feph9hCIZxQigvYUhiZ4Sl5GXKoTD6chDCPo=

hi,all:

�

�� I wondering how to prove this :

�� forall x:nat, exists y:nat,y=x+2.

��please help me,thanks .

�

�� catty.

�

[Coq-Club] how to prove this?, catty wang
- Re: [Coq-Club] how to prove this?, Sidi
  - Re: [Coq-Club] how to prove this?, Jean-Francois Monin