ivor-0.1.5: papers/tutorial/theoremproving.tex

\section{Theorem Proving}

% Elimination rules
% Basic tactics