vampire-proof-check

A simple tool to check proofs with vampire. Inspired by a similar script by Bernhard Gleiss.

How to build/install

Install the Haskell build tool stack from https://docs.haskellstack.org/en/stable/README/
cd vampire-proof-check
Run stack build to build the program. This should also download the compiler and all dependencies.
Run stack install to install the program to ~/.local/bin/. Alternatively, the compiled program can be executed with stack exec -- vampire-proof-check <args>.

Run vampire-proof-check --help for a list of options.