This package provides the following services:
linter-czt package
Lint Z specifications with the Community Z Tools.
Included is a binary distribution of the CZT checker, compiled with a patch to include triggering error length information. The source for CZT is available online at http://czt.sourceforge.net/, and the patch is included in this package's distribution and source. The license for CZT is included in COPYING.txt alongside the distribution.
A working install of Java 8 must be available; if it's not on your system path, please specify its location in the package settings.
The linter will detect any of the ISO standard Z LaTeX environments in any
LaTeX files, and enable CZT linting automatically. You can control the Z
dialect used either by setting the default dialect in the package settings,
or by putting % !Z-notation: <dialect> as the first line in your file. The preset default dialect is oz.
I recommend the use of latextools and pdf-view for editing LaTeX documents, including Z specifications. Without the language-latex extension installed, this linter will not activate.