pseuCo-Java-Compiler
A small (but powerful) IDE for pseuCo.
Verification 2018-2019, template project
Source code used in the Programming 2 lecture