Is eprover safe to use?

eprover has no known vulnerabilities on the latest version (3.2). DepScope rates its health at 46/100 (high risk).

What is the latest version of eprover?

The latest version of eprover is 3.2, released 2025-09-13.

No known vulnerabilities on the latest version of eprover.

No, eprover is actively maintained. Latest release: 3.2 (2025-09-13).

DepScope has no curated alternatives for eprover at this time.

eprover is licensed under GPL-2.0-or-later OR LGPL-2.1-or-later.

homebrewv3.2

Theorem prover for full first-order logic with equality

License GPL-2.0-or-later OR LGPL-2.1-or-later1 versions1 maintainers0 deps

/ 100

Health

safe to use

[email protected] is safe to use (health: 46/100)

Health breakdown0 – 100

10/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/homebrew/eprover

Last updated · 2025-09-13T14:15:36Z