Setting up Linux Machines for use of SPARK Ada and why3 via File Manageer (Computer Science, Swansea University)

The following are the steps for configuring the settings in the Linux Lab so that SPARK Ada and why3 can be started from the file Manager without using the Command Shell.