The Vehicle specification language
==================================

Vehicle specifications are written in the *Vehicle Specification Language*,
which is designed for clearly and concisely expressing mathematical properties
of neural networks.

.. toctree::
  :maxdepth: 1

  logic
  arithmetic
  functions
  lists
  vectors
  tensors
  quantifiers
  networks
  datasets
  parameters
  properties
  type-synonyms
  let-expressions
  annotations-holes
  tips-and-tricks
  advanced