[ { "url": "https://api.github.com/repos/leanprover/lean4/releases/396091120", "assets_url": "https://api.github.com/repos/leanprover/lean4/releases/396091120/assets", "upload_url": "https://uploads.github.com/repos/leanprover/lean4/releases/396091120/assets{?name,label}", "html_url": "https://github.com/leanprover/lean4/releases/tag/v4.35.0-rc3", "id": 396091120, "author": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "node_id": "RE_kwDOB7kabM4Xm97w", "tag_name": "v4.35.0-rc3", "target_commitish": "master", "name": "v4.35.0-rc3", "draft": false, "immutable": false, "prerelease": true, "created_at": "2026-09-24T17:35:24Z", "updated_at": "2026-09-24T21:47:51Z", "published_at": "2026-09-24T21:23:52Z", "assets": [ { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586870651", "id": 586870651, "node_id": "RA_kwDOB7kabM4i-u97", "name": "lean-4.35.0-rc3-darwin.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 577695636, "digest": "sha256:84e17c6e95ec9c6b49c0b68e190e1d4cb751c0bff082fbee36bf122f7ccf4add", "download_count": 18, "created_at": "2026-09-24T21:23:56Z", "updated_at": "2026-09-24T21:24:32Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc3/lean-4.35.0-rc3-darwin.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586870649", "id": 586870649, "node_id": "RA_kwDOB7kabM4i-u95", "name": "lean-4.35.0-rc3-darwin.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 899550810, "digest": "sha256:e6a78cdf279ad147470971b7ab14386d03474ee8eda5b2bf5e722840cc74492d", "download_count": 12, "created_at": "2026-09-24T21:23:56Z", "updated_at": "2026-09-24T21:24:46Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc3/lean-4.35.0-rc3-darwin.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586870650", "id": 586870650, "node_id": "RA_kwDOB7kabM4i-u96", "name": "lean-4.35.0-rc3-darwin_aarch64.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 571824435, "digest": "sha256:967fb9ca8d0c0441c4a72e5d8140208260d0ab6ccf7e7dcf0cc63c54ffbff95c", "download_count": 183, "created_at": "2026-09-24T21:23:56Z", "updated_at": "2026-09-24T21:24:29Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc3/lean-4.35.0-rc3-darwin_aarch64.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586870657", "id": 586870657, "node_id": "RA_kwDOB7kabM4i-u-B", "name": "lean-4.35.0-rc3-darwin_aarch64.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 886921597, "digest": "sha256:4fb200ee46a40d77c3e6a5a5e8ea446fb69d669410ff4447e03003479be110bf", "download_count": 12, "created_at": "2026-09-24T21:23:56Z", "updated_at": "2026-09-24T21:24:40Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc3/lean-4.35.0-rc3-darwin_aarch64.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586870655", "id": 586870655, "node_id": "RA_kwDOB7kabM4i-u9_", "name": "lean-4.35.0-rc3-linux.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 595611952, "digest": "sha256:1526de16c0496f16b46a168f26c990af4e3796505273c3342fec17d72d763997", "download_count": 3142, "created_at": "2026-09-24T21:23:56Z", "updated_at": "2026-09-24T21:24:31Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc3/lean-4.35.0-rc3-linux.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586870648", "id": 586870648, "node_id": "RA_kwDOB7kabM4i-u94", "name": "lean-4.35.0-rc3-linux.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 927944558, "digest": "sha256:fb73ada48ca880b0961f57ef14e4f935ab8d88d791039137ff23919de1da1d05", "download_count": 36, "created_at": "2026-09-24T21:23:56Z", "updated_at": "2026-09-24T21:24:42Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc3/lean-4.35.0-rc3-linux.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586870652", "id": 586870652, "node_id": "RA_kwDOB7kabM4i-u98", "name": "lean-4.35.0-rc3-linux_aarch64.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 596161714, "digest": "sha256:547091cea0df5f61d0998998e9dc32464a8d9529f60a6f14baf73595370c30d8", "download_count": 110, "created_at": "2026-09-24T21:23:56Z", "updated_at": "2026-09-24T21:24:31Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc3/lean-4.35.0-rc3-linux_aarch64.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586870658", "id": 586870658, "node_id": "RA_kwDOB7kabM4i-u-C", "name": "lean-4.35.0-rc3-linux_aarch64.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 930144816, "digest": "sha256:524e85eff6163d6c59264cf0328926e203fec3b71918081efa9aa3b64e50f1f6", "download_count": 12, "created_at": "2026-09-24T21:23:56Z", "updated_at": "2026-09-24T21:24:42Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc3/lean-4.35.0-rc3-linux_aarch64.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586870653", "id": 586870653, "node_id": "RA_kwDOB7kabM4i-u99", "name": "lean-4.35.0-rc3-windows.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 605722593, "digest": "sha256:57921b8f3fd2d345759b5db4596dd01aa45844c8ebab1cf9aa8c56d439e8a082", "download_count": 172, "created_at": "2026-09-24T21:23:56Z", "updated_at": "2026-09-24T21:24:33Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc3/lean-4.35.0-rc3-windows.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586870654", "id": 586870654, "node_id": "RA_kwDOB7kabM4i-u9-", "name": "lean-4.35.0-rc3-windows.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 874235205, "digest": "sha256:60dc217df401fda0878efd0d5fdead952e4c7459ecab6d02f8348d7bfa12cf97", "download_count": 23, "created_at": "2026-09-24T21:23:56Z", "updated_at": "2026-09-24T21:24:41Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc3/lean-4.35.0-rc3-windows.zip" } ], "tarball_url": "https://api.github.com/repos/leanprover/lean4/tarball/v4.35.0-rc3", "zipball_url": "https://api.github.com/repos/leanprover/lean4/zipball/v4.35.0-rc3", "body": "This is release candidate 3 for the v4.35.0 release of Lean. View the [release notes](https://lean-lang.org/doc/reference/latest/releases/v4.35.0/) for more information.", "reactions": { "url": "https://api.github.com/repos/leanprover/lean4/releases/396091120/reactions", "total_count": 2, "+1": 0, "-1": 0, "laugh": 0, "hooray": 0, "confused": 0, "heart": 1, "rocket": 1, "eyes": 0 } }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/396051688", "assets_url": "https://api.github.com/repos/leanprover/lean4/releases/396051688/assets", "upload_url": "https://uploads.github.com/repos/leanprover/lean4/releases/396051688/assets{?name,label}", "html_url": "https://github.com/leanprover/lean4/releases/tag/v4.34.1", "id": 396051688, "author": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "node_id": "RE_kwDOB7kabM4Xm0To", "tag_name": "v4.34.1", "target_commitish": "master", "name": "v4.34.1", "draft": false, "immutable": false, "prerelease": false, "created_at": "2026-09-24T17:27:27Z", "updated_at": "2026-09-24T20:34:14Z", "published_at": "2026-09-24T20:24:21Z", "assets": [ { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586761735", "id": 586761735, "node_id": "RA_kwDOB7kabM4i-UYH", "name": "lean-4.34.1-darwin.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 564348102, "digest": "sha256:c2fee70250444e46c1106a27bddfef948d1e563eef431eaac05bb946b2f73d3a", "download_count": 60, "created_at": "2026-09-24T20:23:33Z", "updated_at": "2026-09-24T20:24:03Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.34.1/lean-4.34.1-darwin.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586761734", "id": 586761734, "node_id": "RA_kwDOB7kabM4i-UYG", "name": "lean-4.34.1-darwin.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 801613065, "digest": "sha256:60b45c76003a4561fb66d7ec2003569006d255d2860179445e56d3e2a029090e", "download_count": 15, "created_at": "2026-09-24T20:23:33Z", "updated_at": "2026-09-24T20:24:17Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.34.1/lean-4.34.1-darwin.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586761729", "id": 586761729, "node_id": "RA_kwDOB7kabM4i-UYB", "name": "lean-4.34.1-darwin_aarch64.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 562038070, "digest": "sha256:65f22a4f047738ec742667b3247e836a86ebf06eabc12655c3dee00637e37866", "download_count": 2390, "created_at": "2026-09-24T20:23:33Z", "updated_at": "2026-09-24T20:24:03Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.34.1/lean-4.34.1-darwin_aarch64.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586761725", "id": 586761725, "node_id": "RA_kwDOB7kabM4i-UX9", "name": "lean-4.34.1-darwin_aarch64.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 797037816, "digest": "sha256:9019fcd34e93fddf0ecf9d40d28f05a86ba563ac3b701a9c5116ce1c96379360", "download_count": 21, "created_at": "2026-09-24T20:23:33Z", "updated_at": "2026-09-24T20:24:21Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.34.1/lean-4.34.1-darwin_aarch64.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586761733", "id": 586761733, "node_id": "RA_kwDOB7kabM4i-UYF", "name": "lean-4.34.1-linux.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 580432872, "digest": "sha256:47bf4bbd78f70c2e9670598ab7124d92b6efb7330ff33e5fbb4030f6fd72e4e4", "download_count": 15836, "created_at": "2026-09-24T20:23:33Z", "updated_at": "2026-09-24T20:24:04Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.34.1/lean-4.34.1-linux.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586761731", "id": 586761731, "node_id": "RA_kwDOB7kabM4i-UYD", "name": "lean-4.34.1-linux.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 904280152, "digest": "sha256:3013aba02bb8bf31b1cf8c9d956d60fb95bb1c10920dfe91abcaa59cb461ddac", "download_count": 157, "created_at": "2026-09-24T20:23:33Z", "updated_at": "2026-09-24T20:24:20Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.34.1/lean-4.34.1-linux.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586761736", "id": 586761736, "node_id": "RA_kwDOB7kabM4i-UYI", "name": "lean-4.34.1-linux_aarch64.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 581946052, "digest": "sha256:fdb974c2cdb4627e090d5d4007b913e09d13c4868720fb5594e22808b3de9e37", "download_count": 209, "created_at": "2026-09-24T20:23:33Z", "updated_at": "2026-09-24T20:24:04Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.34.1/lean-4.34.1-linux_aarch64.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586761732", "id": 586761732, "node_id": "RA_kwDOB7kabM4i-UYE", "name": "lean-4.34.1-linux_aarch64.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 906740684, "digest": "sha256:b4bcf1d79f1b5859c04625058d3707701d87a65815f7f0686a1f14df821954c5", "download_count": 19, "created_at": "2026-09-24T20:23:33Z", "updated_at": "2026-09-24T20:24:19Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.34.1/lean-4.34.1-linux_aarch64.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586761738", "id": 586761738, "node_id": "RA_kwDOB7kabM4i-UYK", "name": "lean-4.34.1-windows.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 589007020, "digest": "sha256:667394ecf6708a228221eb4919c0bdb419966b7408bcf3089a9096a6f4ae62c9", "download_count": 941, "created_at": "2026-09-24T20:23:33Z", "updated_at": "2026-09-24T20:24:07Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.34.1/lean-4.34.1-windows.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/586761739", "id": 586761739, "node_id": "RA_kwDOB7kabM4i-UYL", "name": "lean-4.34.1-windows.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 850624573, "digest": "sha256:457698d4e2132243e899ff32178d7ae63c16431d09ed9ad524d859c3581992af", "download_count": 327, "created_at": "2026-09-24T20:23:33Z", "updated_at": "2026-09-24T20:24:18Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.34.1/lean-4.34.1-windows.zip" } ], "tarball_url": "https://api.github.com/repos/leanprover/lean4/tarball/v4.34.1", "zipball_url": "https://api.github.com/repos/leanprover/lean4/zipball/v4.34.1", "body": "This is the v4.34.1 release of Lean. View the [release notes](https://lean-lang.org/doc/reference/latest/releases/v4.34.1/) for more information.", "reactions": { "url": "https://api.github.com/repos/leanprover/lean4/releases/396051688/reactions", "total_count": 2, "+1": 0, "-1": 0, "laugh": 0, "hooray": 0, "confused": 0, "heart": 2, "rocket": 0, "eyes": 0 } }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/389930281", "assets_url": "https://api.github.com/repos/leanprover/lean4/releases/389930281/assets", "upload_url": "https://uploads.github.com/repos/leanprover/lean4/releases/389930281/assets{?name,label}", "html_url": "https://github.com/leanprover/lean4/releases/tag/v4.35.0-rc2", "id": 389930281, "author": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "node_id": "RE_kwDOB7kabM4XPd0p", "tag_name": "v4.35.0-rc2", "target_commitish": "master", "name": "v4.35.0-rc2", "draft": false, "immutable": false, "prerelease": true, "created_at": "2026-09-16T08:01:07Z", "updated_at": "2026-09-16T13:11:19Z", "published_at": "2026-09-16T13:01:26Z", "assets": [ { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/567981852", "id": 567981852, "node_id": "RA_kwDOB7kabM4h2rcc", "name": "lean-4.35.0-rc2-darwin.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 577775928, "digest": "sha256:50b0e17dab5ba1b5b17c5ecc5b7520ffe0f2b54ed872e92fae2c187a1d45218b", "download_count": 69, "created_at": "2026-09-16T13:01:29Z", "updated_at": "2026-09-16T13:02:19Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc2/lean-4.35.0-rc2-darwin.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/567981850", "id": 567981850, "node_id": "RA_kwDOB7kabM4h2rca", "name": "lean-4.35.0-rc2-darwin.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 899491082, "digest": "sha256:f3688663d092f8ea54d447a3694e833298a2e5ad9c406245e207d75866a3a228", "download_count": 3, "created_at": "2026-09-16T13:01:29Z", "updated_at": "2026-09-16T13:02:38Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc2/lean-4.35.0-rc2-darwin.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/567981861", "id": 567981861, "node_id": "RA_kwDOB7kabM4h2rcl", "name": "lean-4.35.0-rc2-darwin_aarch64.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 571725203, "digest": "sha256:e721cf30671d3830fa6120c7b1a4e6b22624650ce1d618c0ca28a4889f5ef324", "download_count": 803, "created_at": "2026-09-16T13:01:29Z", "updated_at": "2026-09-16T13:02:18Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc2/lean-4.35.0-rc2-darwin_aarch64.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/567981851", "id": 567981851, "node_id": "RA_kwDOB7kabM4h2rcb", "name": "lean-4.35.0-rc2-darwin_aarch64.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 886864789, "digest": "sha256:c6ea310f9bf17aa68996b6cbc0cd5e3f96d9d33761bb1a28312cfa52bf5b5741", "download_count": 3, "created_at": "2026-09-16T13:01:29Z", "updated_at": "2026-09-16T13:02:31Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc2/lean-4.35.0-rc2-darwin_aarch64.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/567981860", "id": 567981860, "node_id": "RA_kwDOB7kabM4h2rck", "name": "lean-4.35.0-rc2-linux.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 595391556, "digest": "sha256:b67d0e0ba959fc74e186f1b44aebca32d6ecb6a28f8e9a029fc4e9f73398a049", "download_count": 20361, "created_at": "2026-09-16T13:01:29Z", "updated_at": "2026-09-16T13:02:21Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc2/lean-4.35.0-rc2-linux.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/567981858", "id": 567981858, "node_id": "RA_kwDOB7kabM4h2rci", "name": "lean-4.35.0-rc2-linux.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 927878765, "digest": "sha256:a5a88e074c2f321ac06c63454358294b5d128b079d540aa0af27fda8597ca9b3", "download_count": 45, "created_at": "2026-09-16T13:01:29Z", "updated_at": "2026-09-16T13:02:32Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc2/lean-4.35.0-rc2-linux.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/567981856", "id": 567981856, "node_id": "RA_kwDOB7kabM4h2rcg", "name": "lean-4.35.0-rc2-linux_aarch64.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 596440822, "digest": "sha256:b702aca1e0bceb4d902ae1d269f514dc571195d9f6912590f7a81c983bf45324", "download_count": 518, "created_at": "2026-09-16T13:01:29Z", "updated_at": "2026-09-16T13:02:18Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc2/lean-4.35.0-rc2-linux_aarch64.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/567981859", "id": 567981859, "node_id": "RA_kwDOB7kabM4h2rcj", "name": "lean-4.35.0-rc2-linux_aarch64.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 930079995, "digest": "sha256:45fda76768f8c0fa9c1ea39f88c8dbc1bbfbe5a1bc833826bd8ad305941e8d66", "download_count": 3, "created_at": "2026-09-16T13:01:29Z", "updated_at": "2026-09-16T13:02:32Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc2/lean-4.35.0-rc2-linux_aarch64.zip" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/567981855", "id": 567981855, "node_id": "RA_kwDOB7kabM4h2rcf", "name": "lean-4.35.0-rc2-windows.tar.zst", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/octet-stream", "state": "uploaded", "size": 605653999, "digest": "sha256:d89a51c5b577c70e893de0986c80721e746ff3300fd8c0f5531fcfab794bc64c", "download_count": 1260, "created_at": "2026-09-16T13:01:29Z", "updated_at": "2026-09-16T13:02:22Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc2/lean-4.35.0-rc2-windows.tar.zst" }, { "url": "https://api.github.com/repos/leanprover/lean4/releases/assets/567981848", "id": 567981848, "node_id": "RA_kwDOB7kabM4h2rcY", "name": "lean-4.35.0-rc2-windows.zip", "label": "", "uploader": { "login": "github-actions[bot]", "id": 41898282, "node_id": "MDM6Qm90NDE4OTgyODI=", "avatar_url": "https://avatars.githubusercontent.com/in/15368?v=4", "gravatar_id": "", "url": "https://api.github.com/users/github-actions%5Bbot%5D", "html_url": "https://github.com/apps/github-actions", "followers_url": "https://api.github.com/users/github-actions%5Bbot%5D/followers", "following_url": "https://api.github.com/users/github-actions%5Bbot%5D/following{/other_user}", "gists_url": "https://api.github.com/users/github-actions%5Bbot%5D/gists{/gist_id}", "starred_url": "https://api.github.com/users/github-actions%5Bbot%5D/starred{/owner}{/repo}", "subscriptions_url": "https://api.github.com/users/github-actions%5Bbot%5D/subscriptions", "organizations_url": "https://api.github.com/users/github-actions%5Bbot%5D/orgs", "repos_url": "https://api.github.com/users/github-actions%5Bbot%5D/repos", "events_url": "https://api.github.com/users/github-actions%5Bbot%5D/events{/privacy}", "received_events_url": "https://api.github.com/users/github-actions%5Bbot%5D/received_events", "type": "Bot", "user_view_type": "public", "site_admin": false }, "content_type": "application/zip", "state": "uploaded", "size": 874168619, "digest": "sha256:f0bc3fec9755c8c5e8ad251979f61939af2b4a9f56c3db268021c893f31dda4b", "download_count": 105, "created_at": "2026-09-16T13:01:29Z", "updated_at": "2026-09-16T13:02:38Z", "browser_download_url": "https://github.com/leanprover/lean4/releases/download/v4.35.0-rc2/lean-4.35.0-rc2-windows.zip" } ], "tarball_url": "https://api.github.com/repos/leanprover/lean4/tarball/v4.35.0-rc2", "zipball_url": "https://api.github.com/repos/leanprover/lean4/zipball/v4.35.0-rc2", "body": "This is release candidate 2 for the v4.35.0 release of Lean. View the [release notes](https://lean-lang.org/doc/reference/latest/releases/v4.35.0/) for more information.", "reactions": { "url": "https://api.github.com/repos/leanprover/lean4/releases/389930281/reactions", "total_count": 2, "+1": 0, "-1": 0, "laugh": 0, "hooray": 0, "confused": 0, "heart": 1, "rocket": 1, "eyes": 0 } } ]