PROOF-CHECKER-COMMANDS

list of commands for the proof-checker
Major Section:  PROOF-CHECKER

This documentation section contains documentation for individual commands that can be given inside the interactive proof-checker loop that is entered using verify.

Some Related Topics