Converts lightweight text to LaTeX for software engineering mathematics and Z modelling.
Z specification toolkit: type-checker, model-checker, and Claude Code plugin
