Read news on inductive proof with our app.
Read more in the app
Circuit Transformations, Loop Fusion, and Inductive Proof