Overview Version History Q & A Rating & Review
ViZX: A Visualizer for the ZX Calculus
Install here .
To render manually, use command Render Expressions with ViZX
.
To render automatically, use command Activate ZXViz automatic rendering
. To stop rendering automatically, use command Deactivate ZXViz automatic rendering
.
Requirements
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.
Extension Settings
This extension contributes the following settings:
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.