Module proof_of_sql::sql

This module contains the main logic for Proof of SQL.

Modules

• ast
  This module proves provable ASTs.
• parse
  This module contains conversion of intermediate AST to provable AST and a non-provable component if necessary.
• postprocessing
  This module contains new lightweight postprocessing for non-provable components.
• proof
  TODO: add docs
• transform
  This module contains postprocessing for non-provable components.