Developer documentation

• Contributing to Vehicle
  • Building Vehicle
  • Pre-commit hooks
  • Editor support
• Publishing a release
• Verifier Backends
  • Supported
  • Under consideration
  • Rejected
• Unstable Python API
  • vehicle_lang.ast
  • vehicle_lang.compile
  • vehicle_lang.compile.abc
  • vehicle_lang.compile.abcboolasbool
  • vehicle_lang.compile.abcnumeric
  • vehicle_lang.compile.python
  • vehicle_lang.pygments
  • vehicle_lang.verify
  • vehicle_lang.error
  • vehicle_lang.typing