Information for RPM zenon-0.8.5-25.fc40.riscv64.rpm
| ID | 1260171 | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | zenon | |||||||||||||||||
| Version | 0.8.5 | |||||||||||||||||
| Release | 25.fc40 | |||||||||||||||||
| Epoch | ||||||||||||||||||
| Arch | riscv64 | |||||||||||||||||
| Summary | Automated theorem prover for first-order classical logic | |||||||||||||||||
| 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. | |||||||||||||||||
| Build Time | 2024-03-22 15:13:28 GMT | |||||||||||||||||
| Size | 1.72 MB | |||||||||||||||||
| 98f872e61107fe2b0065612ae8b7234b | ||||||||||||||||||
| License | BSD-3-Clause | |||||||||||||||||
| Buildroot | f40-build-796156-140458 | |||||||||||||||||
| Provides |
|
|||||||||||||||||
| Obsoletes | No Obsoletes | |||||||||||||||||
| Conflicts | No Conflicts | |||||||||||||||||
| Requires |
|
|||||||||||||||||
| Recommends | No Recommends | |||||||||||||||||
| Suggests | No Suggests | |||||||||||||||||
| Supplements | No Supplements | |||||||||||||||||
| Enhances | No Enhances | |||||||||||||||||
| Files | ||||||||||||||||||
| Component of | No Buildroots |
