Vehicle
v0.8.0
Installation
The Vehicle specification language
Type checking a specification
Training with a specification
Verifying a specification
Exporting a specification to an ITP
Developer documentation
Building Vehicle
Pre-commit Hooks
Editor Support
Releasing Vehicle
Verifier Backends
Vehicle
Developer documentation
Edit on GitHub
Developer documentation
Building Vehicle
Getting the source
Building the Vehicle compiler
Building the Vehicle Python bindings
Pre-commit Hooks
Editor Support
Releasing Vehicle
Verifier Backends
Supported
Under consideration
Rejected
Read the Docs
v: v0.8.0
Versions
latest
stable
v0.8.0
v0.7.0
v0.6.0
v0.5.1
v0.5.0
v0.4.1
v0.4.0
v0.3.3
v0.3.2
0.3.1
v0.3.0
v0.2.0
v0.1.0
Downloads
On Read the Docs
Project Home
Builds