https://github.com/gapt/gapt
Tip revision: d0c51bcc8be9f3d7abdf7b1691535b2e7089fa79 authored by Jannik Vierling on 31 May 2022, 13:55:51 UTC
Release 2.15.3
Release 2.15.3
Tip revision: d0c51bc
slakje.sh
#!/usr/bin/env bash
basedir="$(dirname "$0")"
. "$basedir/include.sh"
run_gapt gapt.provers.slakje.Slakje "$@"
