Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource zenon

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.

Found 1 sites for zenon

Found 31 RPM for zenon

PackageSummaryDistributionDownload
zenon-0.8.5-2.fc36.aarch64.htmlAutomated theorem prover for first-order classical logicFedora Rawhide for aarch64zenon-0.8.5-2.fc36.aarch64.rpm
zenon-0.8.5-2.fc36.armv7hl.htmlAutomated theorem prover for first-order classical logicFedora Rawhide for armhfpzenon-0.8.5-2.fc36.armv7hl.rpm
zenon-0.8.5-2.fc36.ppc64le.htmlAutomated theorem prover for first-order classical logicFedora Rawhide for ppc64lezenon-0.8.5-2.fc36.ppc64le.rpm
zenon-0.8.5-2.fc36.s390x.htmlAutomated theorem prover for first-order classical logicFedora Rawhide for s390xzenon-0.8.5-2.fc36.s390x.rpm
zenon-0.8.5-2.fc36.x86_64.htmlAutomated theorem prover for first-order classical logicFedora Rawhide for x86_64zenon-0.8.5-2.fc36.x86_64.rpm
zenon-0.8.4-25.fc35.aarch64.htmlAutomated theorem prover for first-order classical logicFedora 35 for aarch64zenon-0.8.4-25.fc35.aarch64.rpm
zenon-0.8.4-25.fc35.armv7hl.htmlAutomated theorem prover for first-order classical logicFedora 35 for armhfpzenon-0.8.4-25.fc35.armv7hl.rpm
zenon-0.8.4-25.fc35.ppc64le.htmlAutomated theorem prover for first-order classical logicFedora 35 for ppc64lezenon-0.8.4-25.fc35.ppc64le.rpm
zenon-0.8.4-25.fc35.x86_64.htmlAutomated theorem prover for first-order classical logicFedora 35 for x86_64zenon-0.8.4-25.fc35.x86_64.rpm
zenon-0.8.4-23.fc34.aarch64.htmlAutomated theorem prover for first-order classical logicFedora 34 updates for aarch64zenon-0.8.4-23.fc34.aarch64.rpm
zenon-0.8.4-23.fc34.armv7hl.htmlAutomated theorem prover for first-order classical logicFedora 34 updates for armhfpzenon-0.8.4-23.fc34.armv7hl.rpm
zenon-0.8.4-23.fc34.x86_64.htmlAutomated theorem prover for first-order classical logicFedora 34 updates for x86_64zenon-0.8.4-23.fc34.x86_64.rpm
zenon-0.8.4-22.fc34.aarch64.htmlAutomated theorem prover for first-order classical logicFedora 34 for aarch64zenon-0.8.4-22.fc34.aarch64.rpm
zenon-0.8.4-22.fc34.armv7hl.htmlAutomated theorem prover for first-order classical logicFedora 34 for armhfpzenon-0.8.4-22.fc34.armv7hl.rpm
zenon-0.8.4-22.fc34.ppc64le.htmlAutomated theorem prover for first-order classical logicFedora 34 for ppc64lezenon-0.8.4-22.fc34.ppc64le.rpm
zenon-0.8.4-22.fc34.x86_64.htmlAutomated theorem prover for first-order classical logicFedora 34 for x86_64zenon-0.8.4-22.fc34.x86_64.rpm
zenon-0.8.4-19.fc33.aarch64.htmlAutomated theorem prover for first-order classical logicFedora 33 updates for aarch64zenon-0.8.4-19.fc33.aarch64.rpm
zenon-0.8.4-19.fc33.armv7hl.htmlAutomated theorem prover for first-order classical logicFedora 33 updates for armhfpzenon-0.8.4-19.fc33.armv7hl.rpm
zenon-0.8.4-19.fc33.x86_64.htmlAutomated theorem prover for first-order classical logicFedora 33 updates for x86_64zenon-0.8.4-19.fc33.x86_64.rpm
zenon-0.8.4-17.fc33.1.aarch64.htmlAutomated theorem prover for first-order classical logicFedora 33 for aarch64zenon-0.8.4-17.fc33.1.aarch64.rpm
zenon-0.8.4-17.fc33.1.armv7hl.htmlAutomated theorem prover for first-order classical logicFedora 33 for armhfpzenon-0.8.4-17.fc33.1.armv7hl.rpm
zenon-0.8.4-17.fc33.1.ppc64le.htmlAutomated theorem prover for first-order classical logicFedora 33 for ppc64lezenon-0.8.4-17.fc33.1.ppc64le.rpm
zenon-0.8.4-17.fc33.1.x86_64.htmlAutomated theorem prover for first-order classical logicFedora 33 for x86_64zenon-0.8.4-17.fc33.1.x86_64.rpm
zenon-0.8.4-11.fc32.aarch64.htmlAutomated theorem prover for first-order classical logicFedora 32 updates for aarch64zenon-0.8.4-11.fc32.aarch64.rpm
zenon-0.8.4-11.fc32.armv7hl.htmlAutomated theorem prover for first-order classical logicFedora 32 updates for armhfpzenon-0.8.4-11.fc32.armv7hl.rpm
zenon-0.8.4-11.fc32.x86_64.htmlAutomated theorem prover for first-order classical logicFedora 32 updates for x86_64zenon-0.8.4-11.fc32.x86_64.rpm
zenon-0.8.4-9.fc32.aarch64.htmlAutomated theorem prover for first-order classical logicFedora 32 for aarch64zenon-0.8.4-9.fc32.aarch64.rpm
zenon-0.8.4-9.fc32.armv7hl.htmlAutomated theorem prover for first-order classical logicFedora 32 for armhfpzenon-0.8.4-9.fc32.armv7hl.rpm
zenon-0.8.4-9.fc32.ppc64le.htmlAutomated theorem prover for first-order classical logicFedora 32 for ppc64lezenon-0.8.4-9.fc32.ppc64le.rpm
zenon-0.8.4-9.fc32.s390x.htmlAutomated theorem prover for first-order classical logicFedora 32 for s390xzenon-0.8.4-9.fc32.s390x.rpm
zenon-0.8.4-9.fc32.x86_64.htmlAutomated theorem prover for first-order classical logicFedora 32 for x86_64zenon-0.8.4-9.fc32.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet