GRACE is a Java applet that allows a student to specify constructions and their associated proofs interactively.
For more info, see the project homepage.
It was written in Summer 1996, and not updated since, but still works.
If necessary, install Java with your favorite client. For example, OS X with homebrew already installed:
brew install java
rehash
Then, to run
cd java
javac *.java
java GRACE
For documentation, start with this page, also copied in the docs folder.
Some sample data files are in data, move them into the execution folder to use.