Module vstd::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.