This 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. The ...
Development Environment configuration instructions for East Texas A&M University Computer Science and Information System classes. The development environment you set up here may be used for many class ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback