coreact-yade READMEThis extension runs the Coreact YADE editor in a vscode tab (webview) to help mechanising commutations of categorical diagrams with the Coq proof assistant. It builds upon the coq-lsp extension. FeaturesSee https://github.com/amblafont/vscode-yade-example for an example of use.
RequirementsYou need coq-lsp vscode extension. Extension SettingsNone. Known IssuesNone. Release Notes1.0.1No need for the desktop version of coreact-yade: it directly runs in a vscode tab. 1.0.0Initial release of the coreact-yade extension |