proof_of_sql::sql

Module proof_plans

source
Expand description

This module proves provable execution plans.

Enumsยง