Department of Computer Science, University of Manchester
article-link
What links here
Vampire (theorem prover)
Vampire (disambiguation)
article-link
Symbolic artificial intelligence
article-link
E (theorem prover)
article-link
Isabelle (proof assistant)
article-link