vstd

Module calc_macro

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.