| Tag: automated-reasoning 2 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: theorem-prover logic formal-verification research | ||
| Package | Description | Version |
|---|---|---|
| eprover ☆ formula | Theorem prover for full first-order logic with equality | 3.2 |
| vampire ☆ formula | High-performance theorem prover | |