Linux repositories inspector

zenon - Automated theorem prover for first-order classical logic

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.
0.8.4
Fedora iconFedora 30
Fedora iconFedora 31
Fedora iconFedora rawhide
0.8.2
Fedora iconFedora 28
Fedora iconFedora 29
DistributionVersionSincePackageInstalledPackager
Fedora iconFedora 28 releases/Everything-osrpm0.8.2-11.fc282019-01-141.16 MiB3.16 MiBFedora Project
Fedora iconFedora 29 releases/Everything-osrpm0.8.2-12.fc292019-01-141.16 MiB3.22 MiBFedora Project
Fedora iconFedora 29 releases-test/Everything-osrpm0.8.2-12.fc292019-01-141.16 MiB3.22 MiBFedora Project
Fedora iconFedora 30 releases/Everything-osrpm0.8.4-2.fc302019-06-171.16 MiB3.22 MiBFedora Project
Fedora iconFedora 31 releases/Everything-osrpm0.8.4-5.fc312020-01-071.37 MiB4.06 MiBFedora Project
Fedora iconFedora rawhide development/Everything-osrpm0.8.4-8.fc322020-02-081.35 MiB3.96 MiBFedora Project

Manual pages

zenon(1)

zenon - Automated theorem prover for first-order classical logic

zenon-format(5)

zenon-format - Automated theorem prover for first-order classical logic format

Latest updates

Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.8.4-7.fc32 to 0.8.4-8.fc32

2020-02-08
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.8.4-6.fc32 to 0.8.4-7.fc32

2020-01-23
  • OCaml 4.10.0+beta1 rebuild.
Fedora icon

Fedora 31 releases/Everything-os: Version 0.8.4-5.fc31 introduced

2020-01-07
  • OCaml 4.08.1 (rc2) rebuild.
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.8.4-5.fc31 to 0.8.4-6.fc32

2019-09-07
  • OCaml 4.08.1 (final) rebuild.
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.8.4-3.fc31 to 0.8.4-5.fc31

2019-08-03
  • OCaml 4.08.1 (rc2) rebuild.
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.8.4-2.fc30 to 0.8.4-3.fc31

2019-06-21
  • Rebuild for coq 8.9.1
  • Add -coq89 patch to adapt to coq 8.9.x
Fedora icon

Fedora 30 releases/Everything-os: Version 0.8.4-2.fc30 introduced

2019-06-17
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.8.4-1.fc30 to 0.8.4-2.fc30

2019-02-12
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.8.2-12.fc29 to 0.8.4-1.fc30

2019-02-02
  • New upstream release
  • Drop -unsafe-string workaround
Fedora icon

Fedora rawhide development/Everything-os: Version 0.8.2-12.fc29 reintroduced

2019-01-16
Fedora icon

Fedora rawhide development/Everything-os: Version 0.8.2-12.fc29 removed

2019-01-15
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.8.2-11.fc28 to 0.8.2-12.fc29

2019-01-14
Fedora icon

Fedora 29 releases-test/Everything-os: Version 0.8.2-12.fc29 introduced

2019-01-14
Fedora icon

Fedora 29 releases/Everything-os: Version 0.8.2-12.fc29 introduced

2019-01-14
Fedora icon

Fedora 28 releases/Everything-os: Version 0.8.2-11.fc28 introduced

2019-01-14
  • Rebuild for coq 8.7.1
  • Compile with -unsafe-string until the code can be migrated
Fedora icon

Fedora rawhide development/Everything-os: Updated from 0.8.2-9.fc28 to 0.8.2-11.fc28

2018-02-26
  • Rebuild for coq 8.7.1
  • Compile with -unsafe-string until the code can be migrated
Fedora icon

Fedora 27 updates-testing: Version 0.8.2-9.fc27 removed

2017-12-10
Fedora icon

Fedora 27 releases/Everything-os: Version 0.8.2-9.fc27 introduced

2017-11-14
  • Rebuild for coq 8.6.1
Fedora icon

Fedora rawhide development/Everything-os: Version 0.8.2-9.fc28 introduced

2017-11-10
  • Rebuild for coq 8.6.1
Fedora icon

Fedora 27 updates-testing: Version 0.8.2-9.fc27 introduced

2017-11-10
  • Rebuild for coq 8.6.1

Related packages

zenon-debuginfo - Debug information for package zenon
zenon-debugsource - Debug sources for package zenon
⇧ Top