插件:jsCoq插件的工作区 源码
jsCoq Addons Central 这是一个以jsCoq附加库作为子模块的引用的元存储库。 这些子模块包含downloadining,编译和打包这些库为jsCoq包(“食谱” .json和.coq-pkg文件)。
下载地址
用户评论
