7

Proof Engineering for Quantum Reasoning via E-Graphs