文件名称：证明代码
文件大小：155KB
文件格式：ZIP
更新时间：2024-03-10 10:46:47
VS代码的ProVerif语法突出显示 ProVerif文件的语法突出显示 1.0.0 初始发行 学分 ： 等。 ： 来自ProVerif吉祥物： 执照 此扩展是免费的开源软件，已根据。 维护者：
【文件预览】：
proverif-vscode-main
----language-configuration.json(680B)
----img()
--------proverif.png(138KB)
----package.json(948B)
----syntaxes()
--------pv.tmLanguage.json(6KB)
----LICENSE(34KB)
----.gitignore(19B)
----CHANGELOG.md(336B)
----README.md(875B)
----.gitattributes(77B)
----.vscodeignore(66B)
----.vscode()
--------launch.json(540B)