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.

Name		Name	Last commit message	Last commit date
Latest commit History 58 Commits
app		app
examples		examples
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
plan.org		plan.org
stack.yaml		stack.yaml
vampire-tools.cabal		vampire-tools.cabal