GitHub - SageBinder/Fall2020HonorsProject: This repository is part of my Fall 2020 honors project for Paradise Valley Community College. It uses ANTLR to parse logic proofs.

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
.idea		.idea
src		src
.gitignore		.gitignore
Fall2020HonorsProject.iml		Fall2020HonorsProject.iml

About

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