1.
Why Vamp-IR?
2.
Using Vamp-IR
3.
Proof Validity and Interaction
4.
Choosing a Back-end
Programming in Vamp-IR
5.
Basic Arithmetic
6.
Functions
7.
Tuples
8.
The Iter Function
9.
Lists
10.
Higher-Order Functions
11.
Intrinsics
Witness Generation
12.
The fresh Function
13.
Expanded Arithmetic
14.
Conditionals
15.
Gating Witnesses
16.
Public Witnesses
17.
Soliciting Witnesses from File
Cookbook
18.
Polynomial Logic
19.
Boolean Logic
20.
Bit Decomposition and Range Checks
21.
More Arithmetic
Light (default)
Rust
Coal
Navy
Ayu
vamp-ir book
Conditionals
[TODO]