https://github.com/gapt/gapt
Tip revision: faa330df24dbf006f74cd10f1f9dffa9ae0c1466 authored by Jannik Vierling on 05 March 2021, 08:43:34 UTC
separate expansion sequent extraction and leancop proof parser
separate expansion sequent extraction and leancop proof parser
Tip revision: faa330d
slakje.sh
#!/usr/bin/env bash
basedir="$(dirname "$0")"
. "$basedir/include.sh"
run_gapt gapt.provers.slakje.Slakje "$@"
