Usage

The Z/EVES plugin is an extension of the Console and CZT ZSideKick plugin, so these plugins must be installed as well in order to be able to use it.

The Z/EVES plugin can be accessed by starting the Console plugin and choosing the zeves shell from the drop-down list at the top left corner of the Console plugin interface. Z/EVES commands can now be typed into the text field provided by the Console plugin interface. When the Enter key or “Run” button is pressed, the given command is interpreted by Z/EVES and the result is printed in the Console window.

Refer to Z/EVES documentation for details on using Z/EVES theorem prover via command-line.