https://github.com/gapt/gapt
Tip revision: 2f9ab4b9865f0e3e4b8b04b71d2f0fbf3d1b8623 authored by Jannik Vierling on 21 July 2022, 07:37:48 UTC
release 2.16.0
release 2.16.0
Tip revision: 2f9ab4b
escargot.sh
#!/usr/bin/env bash
basedir="$(dirname "$0")"
. "$basedir/include.sh"
run_gapt gapt.provers.escargot.Escargot "$@"
