文件名称：vscoq:Coq的Visual Studio代码扩展[maintainers = @ maximedenes，@ fakusb]
文件大小：308KB
文件格式：ZIP
更新时间：2024-05-21 03:35:38
editor coq vscode vscode-extension TypeScript
VsCoq是的扩展，具有对支持。 此扩展名目前由@maximedenes和贡献者（作为一部分）开发。 该扩展程序的原始作者是@siegebell。 特征 异步证明 语法高亮 命令：前进，解释指向，中断计算，查询，设置显示选项等。 证明视图的差异视图：突出显示哪些术语在状态之间发生变化 更智能的编辑：在编辑空白或注释时不会回滚状态 适用于 支持_CoqProject LtacProf结果树状视图 要求 VsCode 1.30.0或更高版本 Coq 8.7.0或更高版本 安装 推荐的安装VsCoq的方法是通过或 。 屏幕截图 指示 安装Coq 安装vscode 运行code 安装此扩展程序：按F1键打开命令面板，开始输入“扩展程序：安装扩展程序”，按enter键，然后搜索vscoq 在扩展名上选择“启用” 基本用法 如果您使用_CoqProject通过code my/pro