{"id":13477361,"url":"https://github.com/leanprover/lean4","last_synced_at":"2026-03-07T06:05:39.100Z","repository":{"id":37550043,"uuid":"129571436","full_name":"leanprover/lean4","owner":"leanprover","description":"Lean 4 programming language and theorem prover","archived":false,"fork":false,"pushed_at":"2025-08-27T19:21:44.000Z","size":3233241,"stargazers_count":6277,"open_issues_count":1054,"forks_count":649,"subscribers_count":70,"default_branch":"master","last_synced_at":"2025-08-27T20:28:48.079Z","etag":null,"topics":["lean","lean4"],"latest_commit_sha":null,"homepage":"https://lean-lang.org","language":"Lean","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":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":"CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2018-04-15T02:49:20.000Z","updated_at":"2025-08-27T18:15:53.000Z","dependencies_parsed_at":"2024-01-18T09:00:55.978Z","dependency_job_id":"2cd6ca3d-543d-4b4f-b990-d1b0acf432a5","html_url":"https://github.com/leanprover/lean4","commit_stats":null,"previous_names":[],"tags_count":99,"template":false,"template_full_name":null,"purl":"pkg:github/leanprover/lean4","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/leanprover","download_url":"https://codeload.github.com/leanprover/lean4/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4/sbom","scorecard":{"id":571414,"data":{"date":"2025-08-11","repo":{"name":"github.com/leanprover/lean4","commit":"df898a5c87d7031c5687cfcdf79b29e576306439"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":4.5,"checks":[{"name":"Maintained","score":10,"reason":"30 commit(s) and 20 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Code-Review","score":1,"reason":"Found 3/30 approved changesets -- score normalized to 1","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: Apache License 2.0: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/actionlint.yml:1","Warn: no topLevel permission defined: .github/workflows/awaiting-manual.yml:1","Warn: no topLevel permission defined: .github/workflows/awaiting-mathlib.yml:1","Warn: no topLevel permission defined: .github/workflows/backport.yml:1","Warn: no topLevel permission defined: .github/workflows/build-template.yml:1","Warn: no topLevel permission defined: .github/workflows/check-prelude.yml:1","Warn: no topLevel permission defined: .github/workflows/check-stage0.yml:1","Warn: no topLevel permission defined: .github/workflows/ci.yml:1","Warn: no topLevel permission defined: .github/workflows/copyright-header.yml:1","Warn: no topLevel permission defined: .github/workflows/jira.yml:1","Warn: no topLevel permission defined: .github/workflows/labels-from-comments.yml:1","Warn: no topLevel permission defined: .github/workflows/pr-body.yml:1","Warn: no topLevel permission defined: .github/workflows/pr-release.yml:1","Warn: no topLevel permission defined: .github/workflows/pr-title.yml:1","Warn: no topLevel permission defined: .github/workflows/restart-on-label.yml:1","Warn: no topLevel permission defined: .github/workflows/update-stage0.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact v4.23.0-rc2 not signed: https://api.github.com/repos/leanprover/lean4/releases/240134616","Warn: release artifact v4.23.0-rc1 not signed: https://api.github.com/repos/leanprover/lean4/releases/239837114","Warn: release artifact v4.22.0 not signed: https://api.github.com/repos/leanprover/lean4/releases/239840469","Warn: release artifact v4.22.0-rc4 not signed: https://api.github.com/repos/leanprover/lean4/releases/234738725","Warn: release artifact v4.22.0-rc3 not signed: https://api.github.com/repos/leanprover/lean4/releases/229919295","Warn: release artifact v4.23.0-rc2 does not have provenance: https://api.github.com/repos/leanprover/lean4/releases/240134616","Warn: release artifact v4.23.0-rc1 does not have provenance: https://api.github.com/repos/leanprover/lean4/releases/239837114","Warn: release artifact v4.22.0 does not have provenance: https://api.github.com/repos/leanprover/lean4/releases/239840469","Warn: release artifact v4.22.0-rc4 does not have provenance: https://api.github.com/repos/leanprover/lean4/releases/234738725","Warn: release artifact v4.22.0-rc3 does not have provenance: https://api.github.com/repos/leanprover/lean4/releases/229919295"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 27 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}},{"name":"Pinned-Dependencies","score":1,"reason":"dependency not pinned by hash detected -- score normalized to 1","details":["Info: Possibly incomplete results: error parsing shell code: \u003e must be followed by a word: script/patch.sh:0","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/actionlint.yml:18: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/actionlint.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/actionlint.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/actionlint.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/awaiting-manual.yml:15: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/awaiting-manual.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/awaiting-mathlib.yml:15: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/awaiting-mathlib.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/backport.yml:24: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/backport.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-template.yml:58: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/build-template.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-template.yml:61: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/build-template.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-template.yml:72: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/build-template.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-template.yml:89: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/build-template.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-template.yml:102: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/build-template.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-template.yml:195: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/build-template.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-template.yml:211: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/build-template.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-template.yml:258: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/build-template.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-template.yml:272: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/build-template.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-prelude.yml:10: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/check-prelude.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-stage0.yml:11: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/check-stage0.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-stage0.yml:34: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/check-stage0.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:394: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:399: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:57: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:140: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/ci.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci.yml:345: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:356: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:369: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/copyright-header.yml:9: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/copyright-header.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/grove.yml:18: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/grove.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/grove.yml:54: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/grove.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/grove.yml:62: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/grove.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/grove.yml:98: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/grove.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/grove.yml:113: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/grove.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/grove.yml:129: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/grove.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/grove.yml:149: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/grove.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/labels-from-comments.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/labels-from-comments.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/pr-body.yml:14: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-body.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/pr-release.yml:26: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-release.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/pr-release.yml:37: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/pr-release.yml:104: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/pr-release.yml:118: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/pr-release.yml:132: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-release.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/pr-release.yml:154: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/pr-release.yml:371: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/pr-release.yml:398: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/pr-release.yml:457: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/pr-release.yml:527: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/pr-title.yml:13: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/pr-title.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/stale.yml:14: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/stale.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/update-stage0.yml:26: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/update-stage0.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/update-stage0.yml:45: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/update-stage0.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/update-stage0.yml:57: update your workflow using https://app.stepsecurity.io/secureworkflow/leanprover/lean4/update-stage0.yml/master?enable=pin","Warn: containerImage not pinned by hash: .gitpod.Dockerfile:2: pin your Docker image by updating gitpod/workspace-full to gitpod/workspace-full@sha256:b1195dfae7ee9a12a89d195247c3e1357cc6a18360a41473dbec67525ef434e2","Warn: downloadThenRun not pinned by hash: .gitpod.Dockerfile:10","Warn: npmCommand not pinned by hash: doc/std/grove/grove-local.sh:5","Info:   0 out of  32 GitHub-owned GitHubAction dependencies pinned","Info:   4 out of  21 third-party GitHubAction dependencies pinned","Info:   0 out of   1 containerImage dependencies pinned","Info:   0 out of   1 downloadThenRun dependencies pinned","Info:   0 out of   1 npmCommand dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}}]},"last_synced_at":"2025-08-20T16:27:08.192Z","repository_id":37550043,"created_at":"2025-08-20T16:27:08.193Z","updated_at":"2025-08-20T16:27:08.193Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":272504829,"owners_count":24946010,"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","status":"online","status_checked_at":"2025-08-28T02:00:10.768Z","response_time":74,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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","lean4"],"created_at":"2024-07-31T16:01:41.660Z","updated_at":"2026-01-24T03:40:47.677Z","avatar_url":"https://github.com/leanprover.png","language":"Lean","readme":"This is the repository for **Lean 4**.\n\n# About\n\n- [Quickstart](https://lean-lang.org/lean4/doc/quickstart.html)\n- [Homepage](https://lean-lang.org)\n- [Theorem Proving Tutorial](https://lean-lang.org/theorem_proving_in_lean4/)\n- [Functional Programming in Lean](https://lean-lang.org/functional_programming_in_lean/)\n- [Documentation Overview](https://lean-lang.org/lean4/doc/)\n- [Language Reference](https://lean-lang.org/doc/reference/latest/)\n- [Release notes](RELEASES.md) starting at v4.0.0-m3\n- [Examples](https://lean-lang.org/lean4/doc/examples.html)\n- [External Contribution Guidelines](CONTRIBUTING.md)\n- [FAQ](https://lean-lang.org/lean4/doc/faq.html)\n\n# Installation\n\nSee [Setting Up Lean](https://lean-lang.org/lean4/doc/setup.html).\n\n# Contributing\n\nPlease read our [Contribution Guidelines](CONTRIBUTING.md) first.\n\n# Building from Source\n\nSee [Building Lean](https://lean-lang.org/lean4/doc/make/index.html) (documentation source: [doc/make/index.md](doc/make/index.md)).\n","funding_links":[],"categories":["Lean","Repositories","Uncategorized","Core packages","Repos","计算机编程_数据结构与算法","Bachelor-Level"],"sub_categories":["Uncategorized","资源传输下载","Bachelor Informatik/KI"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover%2Flean4","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fleanprover%2Flean4","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover%2Flean4/lists"}