z-notations

Here are 3 public repositories matching this topic...

Z-EVES for linux. Probably the only place you can find it

python linux formal-methods legacy-application z-eves z-notations

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-notations topic page so that developers can more easily learn about it.

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