HomeIsabelle/Phabricator
Remote provers from SystemOnTPTP via Isabelle/Scala

General

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.
User
Projects
None
Subscribers
None

Event Timeline