z-notation

Here are 2 public repositories matching this topic...

Creates, validates, and animates Z specifications from source code and generates code from specifications

latex beta formal-methods z-notations z-notation claude-code-plugin

Converts lightweight text to LaTeX for software engineering mathematics and Z modelling.

latex transpiler z-notations z-notation state-based-models

Add a description, image, and links to the z-notation topic page so that developers can more easily learn about it.

To associate your repository with the z-notation topic, visit your repo's landing page and select "manage topics."