Install here.

To render manually, use command Render Expressions with ZXViz. To render automatically, use command Activate ZXViz automatic rendering. To stop rendering automatically, use command Deactivate ZXViz automatic rendering.

Requires coq-lsp 0.1.7 for automatic rendering. Syntax of valid terms = valid ZX diagrams in VyZX. See src/CoreData/ZXCore for the base definitions, and src/CoreData/Proportional for proportionality definitions.

• Install npm if you do not have it already.
• Install vsce using command npm install -g @vscode/vsce
• in the source directory for this project, run npm i.
• run vsce package.
• on running ls, you should be able to see vizx-*.*.*.vsix.
• If the code command is functioning:
  • run code --install-extension vizx-*.*.*.vsix.
  • in the same terminal, run code ..
• If the code command is not functioning:
  • launch an instance of VSCode.
  • Navigate to View > Extensions > ... > Install from VSIX.
  • Locate the vizx-*.*.*.vsix file you just created and select it.
• You should now be able to view ZXViz as an extension in the extensions tab, and use it in the required fashion.

This extension contributes the following commands:

• vizx.render: render a valid ZX diagram via manual input.
• vizx.scaleUp: increase the scale of the generated diagram by 10%.
• vizx.scaleDown: decrease the scale of the generated diagram by 10%.
• vizx.lspRender: to communicate with coq-lsp for automatic rendering. should not be used manually.
• vizx.activateRendering: activates automatic rendering of goal state.
• vizx.deactivateRendering: deactivates automatic rendering of goal state.
• vizx.lex: debug tool to lex term without rendering