coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Julian Michael <julianjohnmichael AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Decidability of Propositional Logic
Date: Sat, 28 Nov 2015 03:08:16 -0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=julianjohnmichael AT gmail.com; spf=Pass smtp.mailfrom=julianjohnmichael AT gmail.com; spf=None smtp.helo=postmaster AT mail-ig0-f175.google.com
Ironport-phdr: 9a23:/V8LqRX+r2t23gbMAWi3Tl4SxKjV8LGtZVwlr6E/grcLSJyIuqrYZhCAt8tkgFKBZ4jH8fUM07OQ6PC9Hzxcqs/d7TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2OJVUUz2PhPPtbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN/dwcbsNBzM/dmsx+cfDtB/ZTALJ6GFPfH8Rl09qHgzE5Reye5b6siL3sqIp2jSePMTwT7c0XzGj5KdiRRvAhyIONjp/+2bS3J8jxJlHqQ6s8kQsi7XfZ5uYYaJz

On Sat, Nov 28, 2015 at 2:26 AM, Terrell, Jeffrey <jeffrey.terrell AT kcl.ac.uk> wrote:

Does anyone know of a Coq proof that propositional logic is decidable?

[Coq-Club] Decidability of Propositional Logic, Terrell, Jeffrey, 11/28/2015
- Re: [Coq-Club] Decidability of Propositional Logic, Julian Michael, 11/28/2015
- Re: [Coq-Club] Decidability of Propositional Logic, Emilio Jesús Gallego Arias, 11/29/2015
  - Re: [Coq-Club] Decidability of Propositional Logic, Daniel Schepler, 11/29/2015
    - Re: [Coq-Club] Decidability of Propositional Logic, Julian Michael, 11/29/2015
      - Re: [Coq-Club] Decidability of Propositional Logic, Gabriel Scherer, 11/29/2015
        
        Re: [Coq-Club] Decidability of Propositional Logic, Julian Michael, 11/29/2015
- Re: [Coq-Club] Decidability of Propositional Logic, Gert Smolka, 11/29/2015