coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Tactics for solving goals of type Set

From: Areski Nait Abdallah <areski AT pauillac.inria.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Tactics for solving goals of type Set
Date: Wed, 19 Dec 2007 15:17:45 +0100 (MET)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hello,

I am looking for a reference which discusses

(1) which tactis can be used for solving a goal of type Set, and

(2) covers the rationale for such tactics.

Thank you for your help,

Areski

[Coq-Club] Tactics for solving goals of type Set, Areski Nait Abdallah
- Re: [Coq-Club] Tactics for solving goals of type Set, Cody Roux
  - Re: [Coq-Club] Tactics for solving goals of type Set, Areski Nait Abdallah
    - Re: [Coq-Club] Tactics for solving goals of type Set, Arnaud Spiwack
  - Re: [Coq-Club] Tactics for solving goals of type Set, Pierre Casteran
    - Re: [Coq-Club] Tactics for solving goals of type Set, Robin Green