{"id":13172281,"url":"https://github.com/leanprover-community/mathlib3","last_synced_at":"2025-03-08T03:30:39.494Z","repository":{"id":37238719,"uuid":"97922418","full_name":"leanprover-community/mathlib3","owner":"leanprover-community","description":"Lean 3's obsolete mathematical components library: please use mathlib4","archived":true,"fork":false,"pushed_at":"2024-06-28T02:36:34.000Z","size":222840,"stargazers_count":1662,"open_issues_count":374,"forks_count":294,"subscribers_count":53,"default_branch":"master","last_synced_at":"2025-03-02T05:31:47.991Z","etag":null,"topics":["formal-mathematics","formal-methods","formal-proofs","lean","proof-automation","theorem-proving"],"latest_commit_sha":null,"homepage":"https://leanprover-community.github.io/lean3","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-community.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":".github/CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":"CITATION.md","codeowners":".github/CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":"roadmap/todo.lean","authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-07-21T08:02:10.000Z","updated_at":"2025-02-14T23:36:40.000Z","dependencies_parsed_at":"2023-10-16T19:29:16.881Z","dependency_job_id":"642ffb81-e3d0-441d-b85f-522fdb5035e5","html_url":"https://github.com/leanprover-community/mathlib3","commit_stats":null,"previous_names":["leanprover-community/mathlib3"],"tags_count":3,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover-community%2Fmathlib3","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover-community%2Fmathlib3/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover-community%2Fmathlib3/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover-community%2Fmathlib3/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/leanprover-community","download_url":"https://codeload.github.com/leanprover-community/mathlib3/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":242285385,"owners_count":20102768,"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":["formal-mathematics","formal-methods","formal-proofs","lean","proof-automation","theorem-proving"],"created_at":"2024-07-27T17:07:03.002Z","updated_at":"2025-03-08T03:30:37.213Z","avatar_url":"https://github.com/leanprover-community.png","language":"Lean","funding_links":[],"categories":["Lean"],"sub_categories":[],"readme":"# Lean 3's mathlib\n\n\u003e [!WARNING]  \n\u003e Lean 3 and Mathlib 3 are no longer actively maintained.\n\u003e It is strongly recommended that you use [mathlib4](https://github.com/leanprover-community/mathlib4) for Lean 4 instead.\n\n(If you need to read the old `README.md`, please see `OLD_README.md`.)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover-community%2Fmathlib3","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fleanprover-community%2Fmathlib3","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover-community%2Fmathlib3/lists"}