#!/usr/bin/env bash

if [ "$1" = "" ]; then
  echo "Please use './get-proofs leanCoP' or './get-proofs prover9'."
  exit 0;
fi

prover=$1

tar -xzf $prover.tar.gz
