i installed isabelle2015 , ran isabelle2015/isabelle2015
.
when try of using tptp_isabelle tool got following error:
$ ./isabelle tptp_isabelle 10 foo.tptp unknown logic "hol-tptp" -- no heap file found in: /home/asr/.isabelle/isabelle2015/heaps/polyml-5.5.2_x86-linux /home/asr/src/isabelle/isabelle2015/heaps/polyml-5.5.2_x86-linux
do need set else?
you have build hol-tptp session:
isabelle build -b hol-tptp
Comments
Post a Comment