Java-based software aimed at facilitating student development of mathematical proofs, with emphasis on geometry