Chapter 2. Invoking Gappa

Table of Contents

Input and output
Command-line options
Selecting a proof back-end
Setting internal parameters
Setting modes
Enabling and disabling warning messages
Embedded options