TCPDF (www.tcpdf.org) ## CONTENTS 1 Using Lean 1 1.1 Using Lean Online 1 1.2 Using Lean with VSCode 1 1.3 Using Lean with Emacs 2 1.4 Using the Package Manager 3 2 Lexical Structure 7 2.1 Symbols \gamma $ 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 #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

Codespaces (VS Code in the browser!) ## Demo #1 set up ## Extensions for VS Code: ### • github.vscode-pull-request-github  ★★★★★ (81) | Free Pull Request and Issue Provider for GitHub Install Trouble Installing? ### • ms-vscode.cpptools Install Trouble Installing? C/C++ IntelliSense, debugging, and code browsing. ### • de56a0338a066a25/p50_1.jpg) ## Demo #2 ## Demo #2 set up ## Extensions for VS Code: ### • ms-vscode.cmake-tools  Microsoft

Command Palette... } } ## ↗ ↓ User triggers go-to-definition VSCode Go extension ## ↗ ↓ User triggers go-to-definition VSCode Go extension godef "Harry", "Ron", "Hermione" hogwarts_test.go -o 227 /Users/rstambler/hogwarts/hogwarts.go:16:2 ## ↗ ↓ User triggers go-to-definition VSCode Go extension godef type Student struct { Name string } // House is a student's Hogwarts string) Student { var house House VSCode User triggers go-to-definition  VSCode opens file at the specified position

• Ask any questions • Discuss the latest announcements Take our survey: https://aka.ms/cppcon/vscode 回转器 1 Let's talk VS Code – Built on open source to run anywhere you are 2 Hello Again, World ## Editing evolved Start New File... Open... Connect to... ## Recent Extension ~/vscode-cpptools vscode-cpptools ~ ![Image](/uploads/documents/0/1/6/4/01641c74a414297ee40a5f91f23a2422/p11_1 without the requirement of SSH. - Develop anywhere: connect to a tunnel from VS Code Desktop or vscode.dev - Like using a CLI more? Create a Tunnel through the VS Code CLI which is included in VS Code

附录 #### 12.1. 编程环境安装 ##### 12.1.1. 安装 VSCode 本书推荐使用开源轻量的 VSCode 作为本地 IDE，下载并安装 VSCode。 ##### 12.1.2. Java 环境 1. 下载并安装 OpenJDK（版本需满足 > JDK 9）。 2. 在 VSCode 的插件市场中搜索 java，安装 Java Extension Pack。 在 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 的插件市场中搜索 2. 在 VSCode 的插件市场中搜索 javascript，安装 JavaScript (ES6) code snippets。 ##### 12.1.7. C# 环境 1. 下载并安装 .Net 6.0； 2. 在 VSCode 的插件市场中搜索 c#，安装 c#。 ##### 12.1.8. Swift 环境 1. 下载并安装 Swift; 2. 在 VSCode 的插件市场中搜索

附录 #### 12.1. 编程环境安装 ##### 12.1.1. 安装 VSCode 本书推荐使用开源轻量的 VSCode 作为本地 IDE，下载并安装 VSCode。 ##### 12.1.2. Java 环境 1. 下载并安装 OpenJDK（版本需满足 > JDK 9）。 2. 在 VSCode 的插件市场中搜索 java，安装 Java Extension Pack。 在 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 的插件市场中搜索 2. 在 VSCode 的插件市场中搜索 javascript，安装 JavaScript (ES6) code snippets。 ##### 12.1.7. C# 环境 1. 下载并安装 .Net 6.0； 2. 在 VSCode 的插件市场中搜索 c#，安装 c#。 ##### 12.1.8. Swift 环境 1. 下载并安装 Swift; 2. 在 VSCode 的插件市场中搜索

附录 #### 12.1. 编程环境安装 ##### 12.1.1. 安装 VSCode 本书推荐使用开源轻量的 VSCode 作为本地 IDE，下载并安装 VSCode。 ##### 12.1.2. Java 环境 1. 下载并安装 OpenJDK（版本需满足 > JDK 9）。 2. 在 VSCode 的插件市场中搜索 java，安装 Java Extension Pack。 在 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 的插件市场中搜索 2. 在 VSCode 的插件市场中搜索 javascript，安装 JavaScript (ES6) code snippets。 ##### 12.1.7. C# 环境 1. 下载并安装 .Net 6.0； 2. 在 VSCode 的插件市场中搜索 c#，安装 c#。 ##### 12.1.8. Swift 环境 1. 下载并安装 Swift; 2. 在 VSCode 的插件市场中搜索

附录 #### 12.1. 编程环境安装 ##### 12.1.1. 安装 VSCode 本书推荐使用开源轻量的 VSCode 作为本地 IDE，下载并安装 VSCode。 ##### 12.1.2. Java 环境 1. 下载并安装 OpenJDK（版本需满足 > JDK 9）。 2. 在 VSCode 的插件市场中搜索 java，安装 Java Extension Pack。 在 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 的插件市场中搜索 2. 在 VSCode 的插件市场中搜索 javascript，安装 JavaScript (ES6) code snippets。 ##### 12.1.7. C# 环境 1. 下载并安装 .Net 6.0； 2. 在 VSCode 的插件市场中搜索 c#，安装 c#。 ##### 12.1.8. Swift 环境 1. 下载并安装 Swift; 2. 在 VSCode 的插件市场中搜索

[Image](/uploads/documents/0/1/7/7/0177b636aeeb987e032ed2f2d117a945/p4_5.jpg) ## 什么是VS Code Microsoft / vscode Used by ▼ 443 Watch ▼ 2.8k ★ Unstar 84.6k Code ♀ Fork $ ^{!} $ Issues 3,978 $ ^{ from standalone Latest commit 3bb34b2 33 minutes ago .github update bot message 14 hours ago .vscode fix electron task 22 hours ago build Re-enable building VS Code with TS 3.7 (#82289) 10 hours colspan="8">> .pytest_cache> .vscode512kB 726kB/sa.pyRequirement

附录 #### 12.1. 编程环境安装 ##### 12.1.1. 安装 VSCode 本书推荐使用开源轻量的 VSCode 作为本地 IDE，下载并安装 VSCode。 ##### 12.1.2. Java 环境 1. 下载并安装 OpenJDK（版本需满足 > JDK 9）。 2. 在 VSCode 的插件市场中搜索 java，安装 Java Extension Pack。 在 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 的插件市场中搜索 2. 在 VSCode 的插件市场中搜索 javascript，安装 JavaScript (ES6) code snippets。 ##### 12.1.7. C# 环境 1. 下载并安装 .Net 6.0； 2. 在 VSCode 的插件市场中搜索 c#，安装 c#。 ##### 12.1.8. Swift 环境 1. 下载并安装 Swift; 2. 在 VSCode 的插件市场中搜索