Formal equivalence checking

ID: formal-equivalence-checking

New to topics? Read the docs here!