This is a simple placeholder page for the companion artifact of the conditionally accepted FM 2024 tutorial paper "Practical Deductive Verification of OCaml Programs".
- The Virtual Box .ova file can be found here.
A plain-text instructions file can be found here.
This contains information about the keyboard layout, login and password for the virtual machine user, where to find the artifact documentation, and finally information about the virtual machine itself and the platform used to prepare the virtual machine image.