我不确定这个问题是否属于这里，这可能是一个非常基本的问题，但是我无法找到解决方法。
注意：我认为我以前从未安装过visualstudio代码的扩展或类似的东西。 我是初学者。
我的问题是：我刚刚从这里下载了Windows的精益证明者：https://github.com/leanprover/lean/releases/tag/v3.4.1 但是我不知道如何安装它，所以我可以在Visual Studio代码中使用它。
它给了我一个包含两个.exe文件的文件夹： lean.exe和leanchecker.exe
对于这两个文件，如果我尝试打开它们，它将打开命令提示符大约1/10秒，然后将其关闭，然后什么也没有发生。
我听说程序员使用所谓的“命令提示符”来安装类似的东西，但我对此一无所知，也不知道在哪里可以找到有关此信息的信息。 您能给我一个关于如何为初学者安装这种东西的解释吗？
（请注意，精益生产商说他们没有时间帮助人们解决这个问题）。