\section{Theorem Proving}

% Elimination rules
% Basic tactics

