Getting started with Prover9 A video about setting up and running the Prover9 automated theorem prover.