Description

My Thesis project for my Master's degree where I prove through several methods that a novel programming language, Proteus, is Turing Complete.

GitHub Repo