Projects

This page describes current and past research projects carried out with the Vampire theorem prover. This list is not exhaustive and some projects may now be redundant.