Codespaces (VS Code in the browser!)Demo #1 set up Extensions for VS Code: • github.vscode-pull-request-github • ms-vscode.cpptools • github.codespacesDemo #1 key takeaways 1. GitHub.dev and GitHub Codespaces CMakePresets.jsonDemo #2 set up Extensions for VS Code: • ms-vscode.cmake-tools • ms-vscode-remote.vscode-remote-extensionpack • ms-vscode.cpptoolsDemo #2 key takeaways 1. VS Code provides full C++ IntelliSense EditionDemo #3 set up Extensions for VS Code: • nvidia.nsight-vscode-edition • ms-vscode-remote.vscode-remote-extensionpack • ms-vscode.cpptoolsDemo #3 key takeaways 1. The C++ extension provides IntelliSense

go-to-definition VSCode Go extension User triggers go-to-definition VSCode Go extension godef User triggers go-to-definition VSCode Go extension godef User triggers go-to-definition VSCode Go godef VSCode opens file at the specified position godef gopkgs go-outline go-symbols VSCode guru gorename gomodifytags goplay Go extension godef gopkgs go-outline go-symbols VSCode guru gogetdoc goimports goreturns goformat golint Go extension godef gopkgs go-outline go-symbols VSCode guru gorename gomodifytags goplay impl gotype-live gocode gogetdoc goimports goreturns

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Using Lean with VSCode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.3 Using Lean with α, β, and γ respectively. 1.2 Using Lean with VSCode Assuming you have installed Lean and Visual Studio Code, you can add the Lean extension to VSCode by clicking the extension icon in the view bar at word #check displays the response, in this case, the type of the identity function. 1.2.1 Features VSCode Intellisense suggests completions as you type. These are context sensitive: if you are typing an

法。 179 12. 附录 12.1. 编程环境安装 12.1.1. 安装 VSCode 本书推荐使用开源轻量的 VSCode 作为本地 IDE ，下载并安装 VSCode 。 12.1.2. Java 环境 1. 下载并安装 OpenJDK（版本需满足 > JDK 9）。 2. 在 VSCode 的插件市场中搜索 java ，安装 Java Extension Pack 。 12 2. 在 VSCode 的插件市场中搜索 c++ ，安装 C/C++ Extension Pack 。 12.1.4. Python 环境 1. 下载并安装 Miniconda3 。 2. 在 VSCode 的插件市场中搜索 python ，安装 Python Extension Pack 。 12.1.5. Go 环境 1. 下载并安装 go 。 2. 在 VSCode 的插件市场中搜索 JavaScript 环境 1. 下载并安装 node.js 。 2. 在 VSCode 的插件市场中搜索 javascript ，安装 JavaScript (ES6) code snippets 。 12. 附录 hello‑algo.com 180 12.1.7. C# 环境 1. 下载并安装 .Net 6.0 ； 2. 在 VSCode 的插件市场中搜索 c# ，安装 c# 。 12.1.8. Swift

法。 178 12. 附录 12.1. 编程环境安装 12.1.1. 安装 VSCode 本书推荐使用开源轻量的 VSCode 作为本地 IDE ，下载并安装 VSCode 。 12.1.2. Java 环境 1. 下载并安装 OpenJDK（版本需满足 > JDK 9）。 2. 在 VSCode 的插件市场中搜索 java ，安装 Java Extension Pack 。 12 2. 在 VSCode 的插件市场中搜索 c++ ，安装 C/C++ Extension Pack 。 12.1.4. Python 环境 1. 下载并安装 Miniconda3 。 2. 在 VSCode 的插件市场中搜索 python ，安装 Python Extension Pack 。 12.1.5. Go 环境 1. 下载并安装 go 。 2. 在 VSCode 的插件市场中搜索 JavaScript 环境 1. 下载并安装 node.js 。 2. 在 VSCode 的插件市场中搜索 javascript ，安装 JavaScript (ES6) code snippets 。 12. 附录 hello‑algo.com 179 12.1.7. C# 环境 1. 下载并安装 .Net 6.0 ； 2. 在 VSCode 的插件市场中搜索 c# ，安装 c# 。 12.1.8. Swift

法。 183 12. 附录 12.1. 编程环境安装 12.1.1. 安装 VSCode 本书推荐使用开源轻量的 VSCode 作为本地 IDE ，下载并安装 VSCode 。 12.1.2. Java 环境 1. 下载并安装 OpenJDK（版本需满足 > JDK 9）。 2. 在 VSCode 的插件市场中搜索 java ，安装 Java Extension Pack 。 12 2. 在 VSCode 的插件市场中搜索 c++ ，安装 C/C++ Extension Pack 。 12.1.4. Python 环境 1. 下载并安装 Miniconda3 。 2. 在 VSCode 的插件市场中搜索 python ，安装 Python Extension Pack 。 12.1.5. Go 环境 1. 下载并安装 go 。 2. 在 VSCode 的插件市场中搜索 JavaScript 环境 1. 下载并安装 node.js 。 2. 在 VSCode 的插件市场中搜索 javascript ，安装 JavaScript (ES6) code snippets 。 12. 附录 hello‑algo.com 184 12.1.7. C# 环境 1. 下载并安装 .Net 6.0 ； 2. 在 VSCode 的插件市场中搜索 c# ，安装 c# 。 12.1.8. Swift

法。 171 12. 附录 12.1. 编程环境安装 12.1.1. 安装 VSCode 本书推荐使用开源轻量的 VSCode 作为本地 IDE ，下载并安装 VSCode 。 12.1.2. Java 环境 1. 下载并安装 OpenJDK（版本需满足 > JDK 9）。 2. 在 VSCode 的插件市场中搜索 java ，安装 Java Extension Pack 。 12 2. 在 VSCode 的插件市场中搜索 c++ ，安装 C/C++ Extension Pack 。 12.1.4. Python 环境 1. 下载并安装 Miniconda3 。 2. 在 VSCode 的插件市场中搜索 python ，安装 Python Extension Pack 。 12.1.5. Go 环境 1. 下载并安装 go 。 2. 在 VSCode 的插件市场中搜索 JavaScript 环境 1. 下载并安装 node.js 。 2. 在 VSCode 的插件市场中搜索 javascript ，安装 JavaScript (ES6) code snippets 。 12. 附录 hello‑algo.com 172 12.1.7. C# 环境 1. 下载并安装 .Net 6.0 ； 2. 在 VSCode 的插件市场中搜索 c# ，安装 c# 。 12.1.8. Swift

法。 179 12. 附录 12.1. 编程环境安装 12.1.1. 安装 VSCode 本书推荐使用开源轻量的 VSCode 作为本地 IDE ，下载并安装 VSCode 。 12.1.2. Java 环境 1. 下载并安装 OpenJDK（版本需满足 > JDK 9）。 2. 在 VSCode 的插件市场中搜索 java ，安装 Java Extension Pack 。 12 2. 在 VSCode 的插件市场中搜索 c++ ，安装 C/C++ Extension Pack 。 12.1.4. Python 环境 1. 下载并安装 Miniconda3 。 2. 在 VSCode 的插件市场中搜索 python ，安装 Python Extension Pack 。 12.1.5. Go 环境 1. 下载并安装 go 。 2. 在 VSCode 的插件市场中搜索 JavaScript 环境 1. 下载并安装 node.js 。 2. 在 VSCode 的插件市场中搜索 javascript ，安装 JavaScript (ES6) code snippets 。 12. 附录 hello‑algo.com 180 12.1.7. C# 环境 1. 下载并安装 .Net 6.0 ； 2. 在 VSCode 的插件市场中搜索 c# ，安装 c# 。 12.1.8. Swift

法。 180 12. 附录 12.1. 编程环境安装 12.1.1. 安装 VSCode 本书推荐使用开源轻量的 VSCode 作为本地 IDE ，下载并安装 VSCode 。 12.1.2. Java 环境 1. 下载并安装 OpenJDK（版本需满足 > JDK 9）。 2. 在 VSCode 的插件市场中搜索 java ，安装 Java Extension Pack 。 12 2. 在 VSCode 的插件市场中搜索 c++ ，安装 C/C++ Extension Pack 。 12.1.4. Python 环境 1. 下载并安装 Miniconda3 。 2. 在 VSCode 的插件市场中搜索 python ，安装 Python Extension Pack 。 12.1.5. Go 环境 1. 下载并安装 go 。 2. 在 VSCode 的插件市场中搜索 JavaScript 环境 1. 下载并安装 node.js 。 2. 在 VSCode 的插件市场中搜索 javascript ，安装 JavaScript (ES6) code snippets 。 12. 附录 hello‑algo.com 181 12.1.7. C# 环境 1. 下载并安装 .Net 6.0 ； 2. 在 VSCode 的插件市场中搜索 c# ，安装 c# 。 12.1.8. Swift