vstd
Module calc_
macro
Module Items
Macros
In crate vstd
vstd
Module
calc_macro
Copy item path
Source
Expand description
The
calc
macro provides support for reasoning about a structured proof calculation.
Macros
ยง
calc
The
calc!
macro supports structured proofs through calculations.