https://github.com/viperproject/tutorial
This repo contains the sources of the official Viper tutorial. Feel free to submit your fixes and additions via pull requests. Please report technical issues via the issue tracker.
https://github.com/viperproject/tutorial
documentation formal-methods verification
Last synced: 3 months ago
JSON representation
This repo contains the sources of the official Viper tutorial. Feel free to submit your fixes and additions via pull requests. Please report technical issues via the issue tracker.
- Host: GitHub
- URL: https://github.com/viperproject/tutorial
- Owner: viperproject
- Created: 2020-04-06T07:42:26.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2026-02-17T12:39:01.000Z (4 months ago)
- Last Synced: 2026-02-17T17:53:53.230Z (4 months ago)
- Topics: documentation, formal-methods, verification
- Language: JavaScript
- Homepage: https://viper.ethz.ch/tutorial
- Size: 5.13 MB
- Stars: 0
- Watchers: 2
- Forks: 5
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Tutorial
This repo contains the sources of the official Viper tutorial (http://viper.ethz.ch/tutorial).
Feel free to submit your fixes and additions via pull requests.
Please report technical issues via the issue tracker.
## Building
The tutorial uses [`mdbook`](https://rust-lang.github.io/mdBook/) to generate HTML pages. To build, run (from the repository root):
```bash
mdbook build
```
This creates a folder called `book`. To watch for changes and automatically rebuild files when the source content updates:
```bash
mdbook serve
```
## Editing
### Interactive Viper code snippets
In order to create an interacative code snippet (which can be verified directly in the web browser), insert the code in the following way:
````md
```viper,editable,playground
method foobar()
{
assert false
}
```
````
### Including exercises
Use the following syntax in order to include an exercise to the tutorial:
```md
> **Exercise**
> * ...
```