Visual studio 如何在Visualstudio代码中安装Lean

我不确定这个问题是否属于这里，这可能是一个非常基本的问题，但我不知道怎么做

注意：我想我以前从未安装过visualstudio代码的任何扩展或类似的东西我是初学者。

---

我的问题是：我刚刚从这里下载了适用于windows的精益验证程序： 但我不知道如何安装它，以便在VisualStudio代码中使用它

它为我提供了一个包含两个.exe文件的文件夹： lean.exe和leanchecker.exe

对于这两个文件，如果我试图打开它们，它会打开命令提示符大约1/10秒，然后关闭它，然后什么也不会发生

我听说程序员使用所谓的“命令提示符”来安装这样的东西，但我对此一无所知，也不知道在哪里可以找到这方面的信息你能告诉我如何为初学者安装这种东西吗？

---

（请注意，精益生产商说他们没有时间来帮助人们解决这个问题）。

当从市场上很容易学会如何安装时，不要以“初学者”为借口。@LexLi，我已经试过了，这是一个较旧的精益版本，似乎不起作用。最新版本仅作为zip包提供。VSCode扩展有自己的文档，很明显，在哪里安装精益是有文档记录的。