Vehicle
v0.3.3
Installation
The specification language
Type checking a specification
Training with a specification
Verifying a specification
Exporting a specification to an ITP
Other
Verifier Backends
Vehicle
Index
Edit on GitHub
Index
Symbols
|
C
Symbols
--dataset
command line option
,
[1]
--declaration
command line option
--modulePrefix
command line option
--network
command line option
,
[1]
--output
command line option
--outputFile
command line option
--parameter
command line option
,
[1]
--proofCache
command line option
,
[1]
,
[2]
--property
command line option
--queryFolder
command line option
--specification
command line option
,
[1]
,
[2]
--target
command line option
,
[1]
--typeSystem
command line option
--verifier
command line option
,
[1]
--verifierLocation
command line option
,
[1]
-c
command line option
,
[1]
,
[2]
-d
command line option
,
[1]
-l
command line option
,
[1]
-m
command line option
-n
command line option
,
[1]
-o
command line option
,
[1]
-p
command line option
,
[1]
,
[2]
-s
command line option
,
[1]
,
[2]
-t
command line option
,
[1]
,
[2]
-v
command line option
,
[1]
-y
command line option
,
[1]
C
command line option
--dataset
,
[1]
--declaration
--modulePrefix
--network
,
[1]
--output
--outputFile
--parameter
,
[1]
--proofCache
,
[1]
,
[2]
--property
--queryFolder
--specification
,
[1]
,
[2]
--target
,
[1]
--typeSystem
--verifier
,
[1]
--verifierLocation
,
[1]
-c
,
[1]
,
[2]
-d
,
[1]
-l
,
[1]
-m
-n
,
[1]
-o
,
[1]
-p
,
[1]
,
[2]
-s
,
[1]
,
[2]
-t
,
[1]
,
[2]
-v
,
[1]
-y
,
[1]
Read the Docs
v: v0.3.3
Versions
latest
stable
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