Installation Exercises:

Installation Tutorial

Question 1

Install OpenJML on the computer system you use for reading this tutorial or for developing code. Check that the installation is working.

Learning Objectives:

  • Install OpenJML
  • Be able to tell if the installation is working.