coreact-yade README

This is an extension building upon the coq-lsp extension for the [Coreact YADE editor]{https://github.com/amblafont/graph-editor-web}.

Features

See https://github.com/amblafont/vscode-yade-example for an example of use.

• Displays inline diagrams and equations between composition of morphisms as diagrams
• Builds diagrammatic proofs interactively with Coq using the vscode command "Complete diagram"

Requirements

You need coq-lsp vscode extension and the desktop (electron) version of the [Coreact YADE editor]{https://github.com/amblafont/graph-editor-web/releases}.

Extension Settings

None.

Known Issues

None.

Release Notes

1.0.0

Initial release of the coreact-yade extension