Vehicle
v0.3.2
Installation
The specification language
Type checking a specification
Training with a specification
Verifying a specification
Exporting a specification to an ITP
Other
Contents
Compilation mode
Verifier Backends
Vehicle
Other
Edit on GitHub
Other
Contents
Compilation mode
Read the Docs
v: v0.3.2
Versions
latest
stable
v0.3.2
0.3.1
v0.3.0
v0.2.0
v0.1.0
Downloads
On Read the Docs
Project Home
Builds