Module arrabiata::column_env

source ·
Expand description

This module will be used by the prover to evaluate at a certain point.