Homepage
Not present in the local metadata.
brew package intelligence
eprover
Nucleus can resolve eprover: Theorem prover for full first-order logic with equality
overview
What Automic Vault knows about eprover
Theorem prover for full first-order logic with equality
Commands and aliases
No executable aliases were found in the local package database.
security posture
No radioisotope coverage found yet
This generated page did not find a matching local radioisotope manifest for eprover. Nucleus package metadata is still published here so future coverage has a stable package URL.
Recommended review
For AI agent use, inspect whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins before allowing unattended execution.
install metadata
Resolver facts
| Package key | brew:eprover |
|---|---|
| Last updated | 2025-09-13T14:15:36Z |
| Pulse | updated |
source trail
Generated from repository data
This page is regenerated by scripts/generate-pkg-pages.py. Deployments refuse to publish if www/pkg/ is stale relative to local package data.
Used sources
- Nucleus package database