User Tools
pvs:sidebar
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
pvs:sidebar [2016/09/05 15:03] jonathan |
pvs:sidebar [2016/10/20 02:23] (current) jonathan |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| **PVS getting started** | **PVS getting started** | ||
| - | * [[.start|PVS Introduction]] | + | * [[.start|PVS Introduction]] |
| + | * [[.tools:pvs|Getting Started]] | ||
| * [[.commands|PVS Commands]] | * [[.commands|PVS Commands]] | ||
| * [[.prover|Basic Prover]] | * [[.prover|Basic Prover]] | ||
| Line 8: | Line 9: | ||
| **Theories and Libraries** | **Theories and Libraries** | ||
| - | * [[.libraries|pvs]] reals | + | * [[.libraries|PVS reals]] |
| + | * [[.libraries:collections|Collections]] (Sets, Bags, Sequences) | ||
| **Tools** | **Tools** | ||
| - | * [[.tools:pvs|Getting Started pvs/emacs]] | ||
| * [[.tools:proveit|batch proveit]] | * [[.tools:proveit|batch proveit]] | ||
| * [[.tools:hypatheon|Hypatheon browser]] | * [[.tools:hypatheon|Hypatheon browser]] | ||
| - | * [[.tools:pvsio|PVSIo eval]] | + | * [[.tools:pvsio|PVSio eval]] |
| **Installation** | **Installation** | ||
| * [[.install:install|How to install]] | * [[.install:install|How to install]] | ||
| - | * [[.install:install|Bugs]] | + | * [[.install:bugs|Bugs]] |
pvs/sidebar.1473087791.txt.gz · Last modified: 2016/09/05 15:03 by jonathan
Page Tools
