GitHub repository: leanprover/vscode-lean4
Primary language: TypeScript
Description: Visual Studio Code extension for the Lean 4 proof assistant