pvs:prover

This is an old revision of the document!

Interaction with Prover

Basic

From the command line: pvs
Change context: C-c C-c
Create new PVS file:
Type Check:
Prove a Conjecture:
Prove the whole file:

pvs/prover.1471971960.txt.gz · Last modified: 2016/08/23 17:06 by jonathan