{"id":13484943,"url":"https://github.com/leanprover/vscode-lean4","last_synced_at":"2025-05-16T11:06:25.440Z","repository":{"id":37078420,"uuid":"325845305","full_name":"leanprover/vscode-lean4","owner":"leanprover","description":"Visual Studio Code extension for the Lean 4 proof assistant","archived":false,"fork":false,"pushed_at":"2025-04-30T15:58:16.000Z","size":11751,"stargazers_count":208,"open_issues_count":58,"forks_count":62,"subscribers_count":11,"default_branch":"master","last_synced_at":"2025-05-07T23:02:06.955Z","etag":null,"topics":["lean","vscode"],"latest_commit_sha":null,"homepage":"","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/leanprover.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2020-12-31T17:26:54.000Z","updated_at":"2025-05-04T08:16:14.000Z","dependencies_parsed_at":"2023-11-26T11:23:03.244Z","dependency_job_id":"af69fb77-7dcf-4fc0-b590-7a0966f10bcf","html_url":"https://github.com/leanprover/vscode-lean4","commit_stats":{"total_commits":2265,"total_committers":67,"mean_commits":33.80597014925373,"dds":0.7350993377483444,"last_synced_commit":"55b2f17ae09fcc3d6dbb3a49c373a4bd46f00028"},"previous_names":["leanprover-community/vscode-lean4"],"tags_count":204,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/leanprover","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254518383,"owners_count":22084374,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["lean","vscode"],"created_at":"2024-07-31T17:01:39.618Z","updated_at":"2025-05-16T11:06:20.380Z","avatar_url":"https://github.com/leanprover.png","language":"TypeScript","funding_links":[],"categories":["TypeScript","Tools"],"sub_categories":[],"readme":"# Lean 4 VS Code Extension\nThis extension provides VS Code support for the Lean 4 theorem prover and programming language.\n\n## Installing Lean 4\n\nAfter installing this extension, a 'Welcome' page with a setup guide should open automatically. The setup guide provides platform-specific information on the following topics:\n- Books and documentation resources\n- Installing dependencies that are needed by Lean\n- Installing Lean's version manager Elan and a recent stable version of Lean 4\n- Setting up a Lean 4 project\n- Troubleshooting issues\n\nIf the setup guide does not open automatically, you can still open it manually by opening an empty file, clicking on the ∀-symbol in the top right and selecting 'Documentation…' \u003e 'Docs: Show Setup Guide'.\n\n  ![Setup guide with instructions for how to re-open the setup guide manually](https://github.com/leanprover/vscode-lean4/raw/HEAD/vscode-lean4/images/setup_guide.png)\n\n## Using this extension\n\nThe [Lean 4 VS Code extension manual](https://github.com/leanprover/vscode-lean4/blob/master/vscode-lean4/manual/manual.md) provides a complete and detailed overview over all features provided by this VS Code extension. If you are new to Lean, you may find the first five subsections of the 'Interacting with Lean files' section in the manual to be very helpful.\n\n  ![Manual table of contents](https://github.com/leanprover/vscode-lean4/raw/HEAD/vscode-lean4/images/manual.png)\n\n\n## Developing the Lean 4 VS Code extension\n\nSee [Development](docs/dev.md).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover%2Fvscode-lean4","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fleanprover%2Fvscode-lean4","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover%2Fvscode-lean4/lists"}