Equational Reasoning: A formal technique for deriving true statements from given facts using equations.
We are still working on this page. Come back again soon.