Z Word Tools is a SourceForge↑ project providing tools to allow Z specifications to be written in Microsoft Word↑. It includes a Unicode↑ font for Z symbols and capabilities for editing, typechecking, indexing and cross-referencing. It can create diagrams showing the structure of your specification. It supports large specifications in multiple Word documents. The tool uses either fuzz or CZT to typecheck Spivey Z or ISO Standard Z. The tool has been written by Anthony Hall↑ and is available for download at no charge.
We're Getting Mutants in the MCU - The Loop
Do you like this video?