Source Package zenon

Builds
Updates
Bugs
Sources
Crash Reports
Koschei

Subpackages

zenon - Automated theorem prover for first-order classical logic

Sources on Pagure