zenon - Automated theorem prover for first-order classical logic

Property Value
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.


Package Version Architecture Repository
zenon-0.8.2-5.fc25.i686.rpm 0.8.2 i686 Fedora Updates
zenon-0.8.2-5.fc25.x86_64.rpm 0.8.2 x86_64 Fedora Updates
zenon-0.8.2-2.fc25.i686.rpm 0.8.2 i686 Fedora
zenon - - -


Name Value
coq(x86-64) = 8.5pl2
coreutils -
libc.so.6(GLIBC_2.14)(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-2.fc25
zenon(x86-64) = 0.8.2-2.fc25


Type URL
Binary Package zenon-0.8.2-2.fc25.x86_64.rpm
Source Package zenon-0.8.2-2.fc25.src.rpm

Install Howto

Install the zenon rpm package:

# dnf install zenon




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

See Also

Package Description
zerofree-1.0.3-6.fc25.x86_64.rpm Utility to force unused ext2 inodes and blocks to zero
zeroinstall-injector-2.3.3-5.fc25.noarch.rpm The Zero Install Injector (0launch)
zeromq-4.1.4-5.fc25.i686.rpm Software library for fast, message-based applications
zeromq-4.1.4-5.fc25.x86_64.rpm Software library for fast, message-based applications
zeromq-ada-2.1.0-20.24032011git.fc24.i686.rpm Ada binding for zeromq
zeromq-ada-2.1.0-20.24032011git.fc24.x86_64.rpm Ada binding for zeromq
zeromq-ada-devel-2.1.0-20.24032011git.fc24.i686.rpm Devel package for Ada binding for zeromq
zeromq-ada-devel-2.1.0-20.24032011git.fc24.x86_64.rpm Devel package for Ada binding for zeromq
zeromq-devel-4.1.4-5.fc25.i686.rpm Development files for zeromq
zeromq-devel-4.1.4-5.fc25.x86_64.rpm Development files for zeromq
zeromq2-2.2.0-15.fc24.i686.rpm Software library for fast, message-based applications - Version 2
zeromq2-2.2.0-15.fc24.x86_64.rpm Software library for fast, message-based applications - Version 2
zeromq2-devel-2.2.0-15.fc24.i686.rpm Development files for zeromq2
zeromq2-devel-2.2.0-15.fc24.x86_64.rpm Development files for zeromq2
zeromq3-3.2.5-3.fc23.i686.rpm Software library for fast, message-based applications