default

loading
details
attribute current value
name default
description no description
owning solver veriT+Alethe-s1
contents 
#!/usr/bin/sh

./alethe-proof-checker check $1

back to veriT+Alethe-s1