Summer Project 2018/2019: Equivalences of proof theories in HOL See HOL folder for proof source. See releases tab for pdfs of report and presentation. Done: Proof in full intuitionistic logic report seminar Incomplete: classical logic