This crate converts a DataFusion LogicalPlan to a ProofPlan and Postprocessing
DataFusion
LogicalPlan
ProofPlan
Postprocessing