This repository is part of my Fall 2020 honors project for Paradise Valley Community College. It uses ANTLR to parse logic proofs.