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
  records
  quantifiers
  networks
  datasets
  parameters
  properties
  type-synonyms
  differentiable-logics
  tips-and-tricks