zenon - Automated theorem prover for first-order classical logic

Property Value
Distribution Fedora 27
Repository Fedora x86_64
Package name zenon
Package version 0.8.2
Package release 9.fc27
Package architecture x86_64
Package type rpm
Installed size 2.90 MB
Download size 1.10 MB
Official Mirror download-ib01.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.


Package Version Architecture Repository
zenon-0.8.2-9.fc27.i686.rpm 0.8.2 i686 Fedora
zenon - - -


Name Value
coq(x86-64) = 8.6.1
coreutils -
libc.so.6(GLIBC_2.17)(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
rtld(GNU_HASH) -


Name Value
zenon = 0.8.2-9.fc27
zenon(x86-64) = 0.8.2-9.fc27


Type URL
Binary Package zenon-0.8.2-9.fc27.x86_64.rpm
Source Package zenon-0.8.2-9.fc27.src.rpm

Install Howto

Install zenon rpm package:

# dnf install zenon




2017-09-06 - Jerry James <loganjerry@gmail.com> - 0.8.2-9
- Rebuild for coq 8.6.1
2017-08-03 - Fedora Release Engineering <releng@fedoraproject.org> - 0.8.2-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 0.8.2-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-02-11 - Fedora Release Engineering <releng@fedoraproject.org> - 0.8.2-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2017-01-12 - Jerry James <loganjerry@gmail.com> - 0.8.2-5
- Rebuild for coq 8.6
2016-11-05 - Richard W.M. Jones <rjones@redhat.com> - 0.8.2-4
- Rebuild for OCaml 4.04.0.
2016-10-28 - Jerry James <loganjerry@gmail.com> - 0.8.2-3
- Rebuild for coq 8.5pl3
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

See Also

Package Description
zerofree-1.0.3-9.fc27.x86_64.rpm Utility to force unused ext2 inodes and blocks to zero
zeroinstall-injector-2.3.3-7.fc27.noarch.rpm The Zero Install Injector (0launch)
zeromq-4.1.6-2.fc26.i686.rpm Software library for fast, message-based applications
zeromq-4.1.6-2.fc26.x86_64.rpm Software library for fast, message-based applications
zeromq-ada-2.1.0-23.24032011git.fc27.i686.rpm Ada binding for zeromq
zeromq-ada-2.1.0-23.24032011git.fc27.x86_64.rpm Ada binding for zeromq
zeromq-ada-devel-2.1.0-23.24032011git.fc27.i686.rpm Devel package for Ada binding for zeromq
zeromq-ada-devel-2.1.0-23.24032011git.fc27.x86_64.rpm Devel package for Ada binding for zeromq
zeromq-devel-4.1.6-2.fc26.i686.rpm Development files for zeromq
zeromq-devel-4.1.6-2.fc26.x86_64.rpm Development files for zeromq
zfs-fuse- ZFS ported to Linux FUSE
zfstream-20041202-20.fc27.i686.rpm Library for reading and writing compressed and non-compressed files
zfstream-20041202-20.fc27.x86_64.rpm Library for reading and writing compressed and non-compressed files
zfstream-devel-20041202-20.fc27.i686.rpm Development files for zfstream
zfstream-devel-20041202-20.fc27.x86_64.rpm Development files for zfstream