Skip to Content.

Sympa Menu

coq-club - [Coq-Club] Boolean algebra in Coq?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Boolean algebra in Coq?

chronological Thread

From: Edsko de Vries <devriese AT cs.tcd.ie>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Boolean algebra in Coq?
Date: Mon, 14 May 2007 10:38:03 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

Does anyone know of a formalisation of Boolean algebra (for example,
following "Boolean Reasoning" by Frank Brown) in Coq?

Edsko

[Coq-Club] Boolean algebra in Coq?, Edsko de Vries

Archive powered by MhonArc 2.6.16.