zedlib Collections Library

Welcome to the zedlib Collections Library project page.

The aim of this project is to build a theoretically sound collections library based on Mike Spivey's work on the Z notation.

Features

Useful Links

  1. The Z Notation: a refrence manual
  2. zedlib API Reference (Javadoc)