coreact-yade READMEThis is an extension building upon the coq-lsp extension for the [Coreact YADE editor]{https://github.com/amblafont/graph-editor-web}. FeaturesSee https://github.com/amblafont/vscode-yade-example for an example of use.
RequirementsYou need coq-lsp vscode extension and the desktop (electron) version of the [Coreact YADE editor]{https://github.com/amblafont/graph-editor-web/releases}. Extension SettingsNone. Known IssuesNone. Release Notes1.0.0Initial release of the coreact-yade extension |