FTP Search

Directory

Content Search

zenon

Automated theorem prover for first-order classical logic

/Main/Fedora/i386/Applications/Engineering/

Zenon is an automated theorem prover for first order classical logic with equality, based on the tableau method. Zenon can read input files in TPTP, Coq, Focal, and its own Zenon format. Zenon can directly generate Coq proofs (proof scripts or proof terms), which can be reinserted into Coq specifications. Zenon can also be extended.

Info:

Homepage:	http://focal.inria.fr/zenon
Package version:	0.5.0
Architecture:	i386
Distribution:	Fedora
Filename:	zenon-0.5.0-2.fc9.i386.rpm

Browse inside zenon-0.5.0-2.fc9.i386.rpm:

pkg://zenon-0.5.0-2.fc9.i386.rpm:285704/  info  downloads

[DIR]usr/  65535+ twin directories
1.37 KB  2008-08-01prerm  view  28 mirrors
4.16 KB  2008-08-01preinst  view  27 mirrors
197 B  2008-08-01postrm  view  2065+ mirrors
764 B  2008-08-01postinst  view  110 mirrors
7.38 KB  2008-08-01md5sums  view  14 mirrors
618 B  2008-08-01control  view  668+ mirrors

Download zenon-0.5.0-2.fc9.i386.rpm:

2007-08-30  ftp://debian.lcs.mit.edu/pub/fedora/linux/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2007-08-30  ftp://ftp.wustl.edu/pub/linux/distributions/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2007-07-23  ftp://ftp.wustl.edu/pub/linux/distributions/fedora/updates/9/i386/zenon-0.5.0-2.fc9.i386.rpm
2007-08-30  ftp://ftp.uni-hannover.de/pub/mirror/linux/fedora/linux/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.cs.ucsb.edu/mirrors/fedora/linux/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2007-07-23  ftp://ftp.ai.kyutech.ac.jp/.disk2/Fedora/updates/9/i386/zenon-0.5.0-2.fc9.i386.rpm
2007-08-30  ftp://ftp.ai.kyutech.ac.jp/.disk2/Fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2007-07-23  ftp://ftp.sympad.net/pub/Fedora/updates/9/i386/zenon-0.5.0-2.fc9.i386.rpm
2007-08-30  ftp://ftp.pslib.cz/pub/linux/fedora/linux/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2007-07-22  ftp://ftp.nstu.ru/pub/linux/fedora/updates/9/i386/zenon-0.5.0-2.fc9.i386.rpm
2007-08-30  ftp://ftp.uni-jena.de/pub/linux/MIRROR.redhat/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2007-08-30  ftp://ftp.sanguine.net/pub/linux/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2007-08-30  ftp://ftp.padua.org/pub/linux/Mirrors/fedora.redhat.com/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.lug.udel.edu/pub/fedora/linux/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.rz.uni-kiel.de/pub2/linux/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.uni-klu.ac.at/linux/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.quicknet.nl/pub/Linux/download.fedora.redhat.com/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.informatik.rwth-aachen.de/pub/comp/Linux/fedora/linux/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.filearena.net/mnt3/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-07-21  ftp://ftp.ustb.edu.cn/pub/fedora/9/updates/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.sfc.wide.ad.jp/pub/Linux/Fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://core.ring.gr.jp/pub/linux/fedora/linux/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-07-21  ftp://ftp.in2p3.fr/pub/linux/fedora/updates/9/i386/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.in2p3.fr/pub/linux/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-07-21  ftp://202.18.64.24/pub/linux/fedora/linux/updates/9/i386/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://204.152.191.7/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://130.239.17.6/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://192.87.102.42/vol/3/fedora/linux/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.twaren.net/pub/Linux/Fedora/linux/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.uni-bremen.de/pub/mirrors/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.cpan.nl/pub/os/Linux/distr/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp2.pt.freebsd.org/pub/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-27  ftp://144.92.104.38/mirrors/linux/distributions/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.st.ryukoku.ac.jp/pub2/Linux/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://wt t0_Series004_z005_ch01.tif/.sdb1/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-07-21  ftp://194.199.20.114/linux/0/fedora/updates/9/i386/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://193.226.140.51/fedora/linux/core/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://fr.rpmfind.net/linux/0/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-07-21  ftp://133.24.255.161/mirror5/fedora-linux-updates/9/i386/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.cuhk.hk/.1/Linux/distributions/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.cc.keio.ac.jp/mnt/fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.uvigo.es/redhat-fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm
2008-08-28  ftp://ftp.uvigo.es/mirror/redhat-fedora/updates/9/i386.newkey/zenon-0.5.0-2.fc9.i386.rpm