Tools for developing and reasoning about Z specifications
Provides classes for transforming and proving Z specifications.