Lemma 4.1 Program

The program
The source code

This is a simple Java program, so you will need to download jdk (any version 1.3.1 or higher should work fine) from Sun's website. I assume that if you are running Linux or Mac, you will know what to do with the .class and/or the .java files. The program is fairly self explanatory.

However, if you need any more help, or if you are using Windows and aren't sure what you need to do, here are some simple steps: