\contentsline {section}{\numberline {1}Syntax of the Core Calculus}{1}
\contentsline {section}{\numberline {2}Approximating Equality}{4}
\contentsline {subsection}{\numberline {2.1}Finding an over-approximation of equality}{5}
\contentsline {subsection}{\numberline {2.2}Finding an over-approximation of disequality}{7}
\contentsline {section}{\numberline {3}The Semantics of the Core Calculus}{10}
\contentsline {subsection}{\numberline {3.1}The Lean Semantics}{10}
\contentsline {subsection}{\numberline {3.2}The Light Semantics}{14}
\contentsline {section}{\numberline {4}The Full Language}{20}