Vehicle
latest
Installation
The Vehicle specification language
Logic
Arithmetic
Functions
Lists
Vectors
Tensors
Quantifiers
Networks
Datasets
Parameters
Properties
Type synonyms
Let expressions (TODO)
Annotations and holes (Docs TODO)
Tips and tricks
Advanced topics (TODO)
Type checking a specification
Training with a specification
Verifying a specification
Exporting a specification to an ITP
Python API
Developer documentation
Vehicle
The Vehicle specification language
Let expressions (TODO)
Edit on GitHub
Let expressions (TODO)
Read the Docs
v: latest
Versions
latest
stable
v0.13.0
v0.12.0
v0.11.1
v0.11.0
v0.10.0
v0.9.0
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