Java Math Library (JML) Overview

Current classes:

Fraction
Vector
Matrix
Constants