Home page - release 4.1
Clicking on a CADi banner will return to this page.
CADi is a set of free software tools that assist use of
a specification notation called Z.
It does not run on Windows. The source is not yet available.
This documentation exists in several formats.