invoke remote ATP via SystemOnTPTP.run_systems from Isabelle/Scala (without perl);
clarified inlined command-line;
clarified errors: exception ERROR becomes UnknownError (it could stem from Scala function);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE00b77365552e: clarified signature: refer to file name instead of file content;
- Branches
- Unknown
- Tags