eprover
Formula Utilities v3.2
Theorem prover for full first-order logic with equality
Install 1
App in
Terminal
$
brew install 'eprover'
Install Statistics 76.9% vs 90d
Install activity across time periods
| Metric | 30 Days | 90 Days | 1 Year |
|---|---|---|---|
| Total Installs | 1 | 13 | 40 |
| Avg Daily Installs | 0 | 0 | 0 |