Skip to Content.

Sympa Menu

coq-club - [Coq-Club] Short form for multiple 'exists'?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Short form for multiple 'exists'?

chronological Thread

From: Edsko de Vries <devriese AT cs.tcd.ie>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Short form for multiple 'exists'?
Date: Fri, 18 Jan 2008 11:00:14 +0000
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

Quick question: is there a way to write

exists a, exists b, exists c, ..

as

exists a b c, ...

just like forall?

Edsko

[Coq-Club] Short form for multiple 'exists'?, Edsko de Vries

Archive powered by MhonArc 2.6.16.