Remote provers from SystemOnTPTP via Isabelle/Scala
General
- 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]
- Projects
- None
- Subscribers
- None