Artifact associated with "Typing Strictness"

This is a proof artifact associated with the paper "Typing Strictness". The artifact is a VirtualBox Ubuntu 25 image compatible with VirtualBox Version 7.2.2 and above. Once a suitable version of VirtualBox has been installed and launched and the image downloaded, it can be launched using the "Import a VM from open virtualization or cloud formats" button from within the VirtualBox GUI. The login credentials for the artifact are username "user" and password "password". 

Once launched, the relevant Rocq files and README can be found in the "proofs" folder visible on the desktop. To open a terminal at the folder, right click on the folder and choose "Open in Terminal" at the bottom of the menu. The artifact comes with vim preinstalled for viewing files.