Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/prover9
Automated theorem prover for first-order and equational logic
Screenshots
https://www.cs.unm.edu/~mccune/mace4/
prover9-2009.11a-r1
~amd64 ~x86
examples
View
Download
Browse
License: GPL-2
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
prover9-2009.11a-r1