proof_of_sql::sql

Module proof_exprs

Source
Expand description

This module proves provable expressions.