Gentoo Portage Overlays - sci-mathematics/eprover

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/eprover

Automated theorem prover for full first-order logic with equality

Screenshots

eprover-3.0_pre008

~amd64 ~x86

+ho

View

Download

Browse License: GPL-2+

Overlay: gentoo

eprover-3.0.03

~amd64 ~x86

+ho

View

Download

Browse License: GPL-2+

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

USE Flags

+ho

* This flag is undocumented *