Home

z-vimes

Vimes is a command-line utility which accepts Z specifications in the form of LaTeX source marked up using the LaTeX commands given in the standard and reports any syntax or type errors. The Z notation supported is that of ISO-13568:2002.

It is intended to develop it further to provide theorem proving facilities.