- Name: zenon
- Version: 0.6.3
- Release: 3.fc15
- Epoch:
- Group: Applications/Engineering
- License: BSD
- Url: http://focal.inria.fr/zenon/
- Summary: Automated theorem prover for first-order classical logic
- Architecture: x86_64
- Size: 578694
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
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.
- BuildArch:
- ExcludeArch:
- ExclusiveArch: alpha, armv3l, armv4b, armv4l, armv4tl, armv5tel, armv5tejl, armv6l, armv7l, i386, i486, i586, i686, pentium3, pentium4, athlon, geode, ia64, x86_64, ppc, sparc, sparcv9, ppc64
- Cookie: x86-01.phx2.fedoraproject.org 1321297472
- Buildhost: x86-01.phx2.fedoraproject.org
Generated packages:
Other version of this rpm:
