coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Prenex form

From: "Marko Maliković" <marko AT ffri.hr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Prenex form
Date: Tue, 4 Sep 2012 00:20:21 +0200
Importance: Normal

Regards,

Is there module for conversion first-order formulas over the Prop into
Prenex form. I can not find it.

Great thanks,

-----------------------
Dr. Sc. Marko Maliković
Docent
Filozofski fakultet
Sveučilište u Rijeci
---------------------
Ph.D. Marko Maliković
Assistant Professor
Faculty of Humanities and Social Sciences
University of Rijeka, Croatia
-----------------------------
marko.malikovic AT ffri.hr
http://www.ffri.hr/~marko
-------------------------

[Coq-Club] Prenex form, Marko Maliković, 09/04/2012
- Re: [Coq-Club] Prenex form, Ryan Wisnesky, 09/04/2012
  - Re: [Coq-Club] Prenex form, Gregory Malecha, 09/04/2012
    - Re: [Coq-Club] Prenex form, Ryan Wisnesky, 09/04/2012
      - Re: [Coq-Club] Prenex form, Marko Maliković, 09/05/2012