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.