Package: zenon

Upstream info
Summary: Automated theorem prover for first-order classical logic
Description:
URL: http://zenon-prover.org/
Owner: jjames
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/zenon
Koschei: https://koschei.fedoraproject.org/package/zenon
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 0.8.5-25.fc40
f40 base 0.8.5-25.fc40
f39 updates 0.8.5-20.fc39
  base 0.8.5-19.fc39
f38 updates 0.8.5-16.fc38
  base 0.8.5-14.fc38
f37 updates 0.8.5-11.fc37
  base 0.8.5-10.fc37
f36 updates 0.8.5-7.fc36
  base 0.8.5-6.fc36
f35 base 0.8.4-25.fc35
f34 updates 0.8.4-23.fc34
  base 0.8.4-22.fc34
f33 updates 0.8.4-19.fc33
  base 0.8.4-17.fc33.1
f32 updates 0.8.4-11.fc32
  base 0.8.4-9.fc32
f31 base 0.8.4-5.fc31
f30 base 0.8.4-2.fc30
f29 base 0.8.2-12.fc29
f28 base 0.8.2-11.fc28
f27 base 0.8.2-9.fc27
f26 base 0.8.2-6.fc26
f25 updates 0.8.2-5.fc25
  base 0.8.2-2.fc25
f24 updates 0.8.2-2.fc24
  base 0.8.0-8.fc24
f23 base 0.8.0-5.fc23
f22 base 0.8.0-4.fc22
f21 base 0.8.0-2.fc21
f20 updates 0.7.1-10.fc20
  base 0.7.1-7.fc20
f19 base 0.7.1-6.fc19
f18 updates 0.7.1-4.fc18
  base 0.7.1-1.fc18
f17 base 0.6.3-5.fc17
f16 updates 0.6.3-3.fc16
  base 0.6.3-2.fc16
f15 updates 0.6.3-3.fc15
  base 0.5.0-8.fc15
f14 base 0.5.0-7.fc12
F-13 base 0.5.0-7.fc12
F-12 base 0.5.0-7.fc12
F-11 base 0.5.0-4.fc11
F-9 updates 0.5.0-3.fc9
F-8 updates 0.5.0-3.fc8