https://github.com/gapt/gapt
Tip revision: e7d866da0d86f2171bf91a8e3f2c1fc7c7dc6dbd authored by Jannik Vierling on 30 March 2020, 08:02:48 UTC
Release 2.15.
Release 2.15.
Tip revision: e7d866d
slakje.sh
#!/usr/bin/env bash
basedir="$(dirname "$0")"
. "$basedir/include.sh"
run_gapt gapt.provers.slakje.Slakje "$@"
