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/08/24 19:52] 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]] | ||
| * [[.prelude|PVS Prelude]] | * [[.prelude|PVS Prelude]] | ||
| + | |||
| + | **Theories and Libraries** | ||
| + | |||
| + | * [[.libraries|PVS reals]] | ||
| + | * [[.libraries:collections|Collections]] (Sets, Bags, Sequences) | ||
| + | |||
| **Tools** | **Tools** | ||
| - | * [[.tools|pvs]] PVS prover in Emacs window | + | * [[.tools:proveit|batch proveit]] |
| - | * [[.tools|proveit]] Batch ''proveit'' | + | * [[.tools:hypatheon|Hypatheon browser]] |
| - | * [[.tools|hypatheon]] PVS theory documentation viewer | + | * [[.tools:pvsio|PVSio eval]] |
| - | * [[.tools|pvsio]] PVSIo ground evaluator | + | |
| **Installation** | **Installation** | ||
| * [[.install:install|How to install]] | * [[.install:install|How to install]] | ||
| - | * [[.install:install|Bugs]] | + | * [[.install:bugs|Bugs]] |
pvs/sidebar.1472068324.txt.gz · Last modified: 2016/08/24 19:52 by jonathan
Page Tools
