TU Wien
| Tool | Description |
|---|---|
| Vampire | Vampire is a theorem prover. |
| Zipperposition | Zipperposition is an automated theorem prover for first-order logic with equality and theories. |
| Tool | Description |
|---|---|
| Vampire | Vampire is a theorem prover. |
| Zipperposition | Zipperposition is an automated theorem prover for first-order logic with equality and theories. |