coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Gert Smolka <smolka AT ps.uni-saarland.de>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Check faulty?
- Date: Mon, 22 Apr 2013 10:38:25 +0200
The faulty behavior of Check and Compute appears even with basic queries like
Check pair.
Compute pair.
Gert
- [Coq-Club] Check faulty?, Gert Smolka, 04/11/2013
- Re: [Coq-Club] Check faulty?, Gert Smolka, 04/22/2013
- Re: [Coq-Club] Check faulty?, Jason Gross, 04/26/2013
- Re: [Coq-Club] Check faulty?, Gert Smolka, 04/28/2013
- Re: [Coq-Club] Check faulty?, Jason Gross, 04/26/2013
- Re: [Coq-Club] Check faulty?, Gert Smolka, 04/22/2013
Archive powered by MHonArc 2.6.18.