zenon-0.8.2-2.fc25.x86_64.rpm


Advertisement

Description

zenon - Automated theorem prover for first-order classical logic

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: zenon
Package version: 0.8.2
Package release: 2.fc25
Package architecture: x86_64
Package type: rpm
Installed size: 2.62 MB
Download size: 1.06 MB
Official Mirror: dl.fedoraproject.org
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.

Alternatives

Provides

  • zenon = 0.8.2-2.fc25
  • zenon(x86-64) = 0.8.2-2.fc25

    Download

    Install Howto

    Install the zenon rpm package:

    # dnf install zenon

    Files

    • /usr/bin/zenon
    • /usr/lib64/coq/user-contrib/Zenon/zenon.v
    • /usr/lib64/coq/user-contrib/Zenon/zenon.vo
    • /usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.v
    • /usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.vo
    • /usr/lib64/coq/user-contrib/Zenon/zenon_equiv.v
    • /usr/lib64/coq/user-contrib/Zenon/zenon_equiv.vo
    • /usr/lib64/coq/user-contrib/Zenon/zenon_focal.v
    • /usr/lib64/coq/user-contrib/Zenon/zenon_focal.vo
    • /usr/lib64/coq/user-contrib/Zenon/zenon_induct.v
    • /usr/lib64/coq/user-contrib/Zenon/zenon_induct.vo
    • /usr/share/doc/zenon/zenlpar07.pdf
    • /usr/share/doc/zenon/examples/tptp-COM003+2.p
    • /usr/share/doc/zenon/examples/tptp-ReadMe
    • /usr/share/licenses/zenon/LICENSE
    • /usr/share/man/man1/zenon.1.gz
    • /usr/share/man/man5/zenon-format.5.gz

    Changelog

    2016-07-13 - Jerry James <loganjerry@gmail.com> - 0.8.2-2 - Rebuild for coq 8.5pl2

    2016-06-10 - Jerry James <loganjerry@gmail.com> - 0.8.2-1 - New upstream release

    2016-06-01 - Jerry James <loganjerry@gmail.com> - 0.8.1-1 - New upstream release

    2016-04-22 - Jerry James <loganjerry@gmail.com> - 0.8.0-8 - Rebuild for coq 8.5pl1

    2016-02-12 - Jerry James <loganjerry@gmail.com> - 0.8.0-7 - Rebuild for coq 8.5

    2016-02-05 - Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

    2015-06-19 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.8.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

    2015-04-11 - Jerry James <loganjerry@gmail.com> - 0.8.0-4 - Rebuild for coq 8.4pl6

    2015-01-07 - Jerry James <loganjerry@gmail.com> - 0.8.0-3 - Update URLs

    2014-10-30 - Jerry James <loganjerry@gmail.com> - 0.8.0-2 - Rebuild for coq 8.4pl5

    Advertisement
    Advertisement