vstd

Module calc_macro

Source
Expand description

The calc macro provides support for reasoning about a structured proof calculation.

Macros§

  • The calc! macro supports structured proofs through calculations.