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