coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]Classical Tautology Tactic

From: bjd2 AT cec.wustl.edu
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club]Classical Tautology Tactic
Date: Fri, 1 Sep 2006 14:29:39 -0500 (CDT)
Importance: Normal
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Coq-Club Members,

We've been working on a classical tautology tactic, and would like to
share our contribution with the coq-club community.

Enjoy,

Benjamin Delaware
Aaron Stump
Computational Logic Group
Dept of Computer Science and Engineering
Washington University in St. Louis

Attachment: ctauto.tgz
Description: application/compressed-tar

[Coq-Club]Classical Tautology Tactic, bjd2