GitHub repository: justinottesen/logicProject
Primary language: Python
Description: Computability & Logic Semester Project - Justin Ottesen & Murray Copps