EasyCrypt Proof General is an instantiation of Proof General for the EasyCrypt proof assistant.
EasyCrypt Proof General supplies the following key-bindings:
Prompts for “print” query arguments.
The same for a “check” query.
The EasyCrypt menu contains a Weak-check mode
toggle menu, which
allows you to enable or disable the EasyCrypt Weak-Check mode. When
enabled, all smt
calls are ignored and assumed to succeed.
Here are some of the other user options specific to EasyCrypt. You can set these as usual with the customization mechanism.
Name of program to run EasyCrypt.
The default value is "easycrypt"
.
Non-standard EasyCrypt library load path.
This list specifies the include path for EasyCrypt. The elements of
this list are strings.
URL of web page for EasyCrypt.