☰
Module column_env
?
Module
arrabbiata
::
column_env
source
·
[
−
]
Expand description
This module will be used by the prover to evaluate at a certain point.