Remote provers from SystemOnTPTP via Isabelle/Scala
- Remote provers from SystemOnTPTP (notably for Sledgehammer) are now managed via Isabelle/Scala instead of perl; the dependency on libwww-perl has been eliminated (notably on Linux). Rare INCOMPATIBILITY: HTTP proxy configuration now works via JVM properties https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/net/doc-files/net-properties.html
This refers to Isabelle/e92f2e44e4d8.
Example invocation with remote provers:
sledgehammer [provers = remote_e remote_alt_ergo remote_zipperposition remote_vampire]
Written by makarius on Sun, Mar 14, 10:11 PM.