Vehicle
v0.1.0
Installation
The 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)
Training with a specification (TODO)
Verifying a specification
Exporting a specification to an ITP
Other
Vehicle
The specification language
Let expressions (TODO)
Edit on GitHub
Let expressions (TODO)
Read the Docs
v: v0.1.0
Versions
latest
stable
v0.2.0
v0.1.0
Downloads
On Read the Docs
Project Home
Builds