coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: David MENTRE <dmentre AT linux-france.org>
- To: Adam Chlipala <adamc AT csail.mit.edu>
- Cc: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Newbie question on proofs with reals
- Date: Thu, 5 Apr 2012 17:55:41 +0200
Hello Adam,
2012/4/5 Adam Chlipala
<adamc AT csail.mit.edu>:
> SearchPattern (_ <> _).
Thanks a lot!
Best regards,
d.
- [Coq-Club] Newbie question on proofs with reals, David MENTRE
- Re: [Coq-Club] Newbie question on proofs with reals,
gallais @ ensl.org
- Re: [Coq-Club] Newbie question on proofs with reals,
David MENTRE
- Re: [Coq-Club] Newbie question on proofs with reals,
Adam Chlipala
- Re: [Coq-Club] Newbie question on proofs with reals, David MENTRE
- Re: [Coq-Club] Newbie question on proofs with reals,
Adam Chlipala
- Re: [Coq-Club] Newbie question on proofs with reals,
David MENTRE
- Re: [Coq-Club] Newbie question on proofs with reals,
Frédéric Besson
- Re: [Coq-Club] Newbie question on proofs with reals, David MENTRE
- Re: [Coq-Club] Newbie question on proofs with reals,
gallais @ ensl.org
Archive powered by MhonArc 2.6.16.