{"total_count":17941,"incomplete_results":false,"items":[{"id":1407950271,"node_id":"R_kgDOU-udvw","name":"math","full_name":"openai/math","private":false,"owner":{"login":"openai","id":14957082,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE0OTU3MDgy","avatar_url":"https://avatars.githubusercontent.com/u/14957082?v=4","gravatar_id":"","url":"https://api.github.com/users/openai","html_url":"https://github.com/openai","followers_url":"https://api.github.com/users/openai/followers","following_url":"https://api.github.com/users/openai/following{/other_user}","gists_url":"https://api.github.com/users/openai/gists{/gist_id}","starred_url":"https://api.github.com/users/openai/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/openai/subscriptions","organizations_url":"https://api.github.com/users/openai/orgs","repos_url":"https://api.github.com/users/openai/repos","events_url":"https://api.github.com/users/openai/events{/privacy}","received_events_url":"https://api.github.com/users/openai/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/openai/math","description":null,"fork":false,"url":"https://api.github.com/repos/openai/math","forks_url":"https://api.github.com/repos/openai/math/forks","keys_url":"https://api.github.com/repos/openai/math/keys{/key_id}","collaborators_url":"https://api.github.com/repos/openai/math/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/openai/math/teams","hooks_url":"https://api.github.com/repos/openai/math/hooks","issue_events_url":"https://api.github.com/repos/openai/math/issues/events{/number}","events_url":"https://api.github.com/repos/openai/math/events","assignees_url":"https://api.github.com/repos/openai/math/assignees{/user}","branches_url":"https://api.github.com/repos/openai/math/branches{/branch}","tags_url":"https://api.github.com/repos/openai/math/tags","blobs_url":"https://api.github.com/repos/openai/math/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/openai/math/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/openai/math/git/refs{/sha}","trees_url":"https://api.github.com/repos/openai/math/git/trees{/sha}","statuses_url":"https://api.github.com/repos/openai/math/statuses/{sha}","languages_url":"https://api.github.com/repos/openai/math/languages","stargazers_url":"https://api.github.com/repos/openai/math/stargazers","contributors_url":"https://api.github.com/repos/openai/math/contributors","subscribers_url":"https://api.github.com/repos/openai/math/subscribers","subscription_url":"https://api.github.com/repos/openai/math/subscription","commits_url":"https://api.github.com/repos/openai/math/commits{/sha}","git_commits_url":"https://api.github.com/repos/openai/math/git/commits{/sha}","comments_url":"https://api.github.com/repos/openai/math/comments{/number}","issue_comment_url":"https://api.github.com/repos/openai/math/issues/comments{/number}","contents_url":"https://api.github.com/repos/openai/math/contents/{+path}","compare_url":"https://api.github.com/repos/openai/math/compare/{base}...{head}","merges_url":"https://api.github.com/repos/openai/math/merges","archive_url":"https://api.github.com/repos/openai/math/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/openai/math/downloads","issues_url":"https://api.github.com/repos/openai/math/issues{/number}","pulls_url":"https://api.github.com/repos/openai/math/pulls{/number}","milestones_url":"https://api.github.com/repos/openai/math/milestones{/number}","notifications_url":"https://api.github.com/repos/openai/math/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/openai/math/labels{/name}","releases_url":"https://api.github.com/repos/openai/math/releases{/id}","deployments_url":"https://api.github.com/repos/openai/math/deployments","created_at":"2026-10-06T21:47:02Z","updated_at":"2026-10-08T07:46:18Z","pushed_at":"2026-10-08T05:20:00Z","git_url":"git://github.com/openai/math.git","ssh_url":"org-14957082@github.com:openai/math.git","clone_url":"https://github.com/openai/math.git","svn_url":"https://github.com/openai/math","homepage":null,"size":822061,"stargazers_count":10680,"watchers_count":10680,"language":"Lean","has_issues":false,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":1077,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"collaborators_only","topics":[],"visibility":"public","forks":1077,"open_issues":0,"watchers":10680,"default_branch":"main","score":1.0},{"id":129571436,"node_id":"MDEwOlJlcG9zaXRvcnkxMjk1NzE0MzY=","name":"lean4","full_name":"leanprover/lean4","private":false,"owner":{"login":"leanprover","id":7233018,"node_id":"MDEyOk9yZ2FuaXphdGlvbjcyMzMwMTg=","avatar_url":"https://avatars.githubusercontent.com/u/7233018?v=4","gravatar_id":"","url":"https://api.github.com/users/leanprover","html_url":"https://github.com/leanprover","followers_url":"https://api.github.com/users/leanprover/followers","following_url":"https://api.github.com/users/leanprover/following{/other_user}","gists_url":"https://api.github.com/users/leanprover/gists{/gist_id}","starred_url":"https://api.github.com/users/leanprover/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leanprover/subscriptions","organizations_url":"https://api.github.com/users/leanprover/orgs","repos_url":"https://api.github.com/users/leanprover/repos","events_url":"https://api.github.com/users/leanprover/events{/privacy}","received_events_url":"https://api.github.com/users/leanprover/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/leanprover/lean4","description":"Lean 4 programming language and theorem prover","fork":false,"url":"https://api.github.com/repos/leanprover/lean4","forks_url":"https://api.github.com/repos/leanprover/lean4/forks","keys_url":"https://api.github.com/repos/leanprover/lean4/keys{/key_id}","collaborators_url":"https://api.github.com/repos/leanprover/lean4/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/leanprover/lean4/teams","hooks_url":"https://api.github.com/repos/leanprover/lean4/hooks","issue_events_url":"https://api.github.com/repos/leanprover/lean4/issues/events{/number}","events_url":"https://api.github.com/repos/leanprover/lean4/events","assignees_url":"https://api.github.com/repos/leanprover/lean4/assignees{/user}","branches_url":"https://api.github.com/repos/leanprover/lean4/branches{/branch}","tags_url":"https://api.github.com/repos/leanprover/lean4/tags","blobs_url":"https://api.github.com/repos/leanprover/lean4/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/leanprover/lean4/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/leanprover/lean4/git/refs{/sha}","trees_url":"https://api.github.com/repos/leanprover/lean4/git/trees{/sha}","statuses_url":"https://api.github.com/repos/leanprover/lean4/statuses/{sha}","languages_url":"https://api.github.com/repos/leanprover/lean4/languages","stargazers_url":"https://api.github.com/repos/leanprover/lean4/stargazers","contributors_url":"https://api.github.com/repos/leanprover/lean4/contributors","subscribers_url":"https://api.github.com/repos/leanprover/lean4/subscribers","subscription_url":"https://api.github.com/repos/leanprover/lean4/subscription","commits_url":"https://api.github.com/repos/leanprover/lean4/commits{/sha}","git_commits_url":"https://api.github.com/repos/leanprover/lean4/git/commits{/sha}","comments_url":"https://api.github.com/repos/leanprover/lean4/comments{/number}","issue_comment_url":"https://api.github.com/repos/leanprover/lean4/issues/comments{/number}","contents_url":"https://api.github.com/repos/leanprover/lean4/contents/{+path}","compare_url":"https://api.github.com/repos/leanprover/lean4/compare/{base}...{head}","merges_url":"https://api.github.com/repos/leanprover/lean4/merges","archive_url":"https://api.github.com/repos/leanprover/lean4/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/leanprover/lean4/downloads","issues_url":"https://api.github.com/repos/leanprover/lean4/issues{/number}","pulls_url":"https://api.github.com/repos/leanprover/lean4/pulls{/number}","milestones_url":"https://api.github.com/repos/leanprover/lean4/milestones{/number}","notifications_url":"https://api.github.com/repos/leanprover/lean4/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/leanprover/lean4/labels{/name}","releases_url":"https://api.github.com/repos/leanprover/lean4/releases{/id}","deployments_url":"https://api.github.com/repos/leanprover/lean4/deployments","created_at":"2018-04-15T02:49:20Z","updated_at":"2026-10-08T07:17:32Z","pushed_at":"2026-10-08T07:17:12Z","git_url":"git://github.com/leanprover/lean4.git","ssh_url":"git@github.com:leanprover/lean4.git","clone_url":"https://github.com/leanprover/lean4.git","svn_url":"https://github.com/leanprover/lean4","homepage":"https://lean-lang.org","size":7137881,"stargazers_count":9434,"watchers_count":9434,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":1023,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1735,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["lean","lean4"],"visibility":"public","forks":1023,"open_issues":1735,"watchers":9434,"default_branch":"master","score":1.0},{"id":365697493,"node_id":"MDEwOlJlcG9zaXRvcnkzNjU2OTc0OTM=","name":"mathlib4","full_name":"leanprover-community/mathlib4","private":false,"owner":{"login":"leanprover-community","id":41703605,"node_id":"MDEyOk9yZ2FuaXphdGlvbjQxNzAzNjA1","avatar_url":"https://avatars.githubusercontent.com/u/41703605?v=4","gravatar_id":"","url":"https://api.github.com/users/leanprover-community","html_url":"https://github.com/leanprover-community","followers_url":"https://api.github.com/users/leanprover-community/followers","following_url":"https://api.github.com/users/leanprover-community/following{/other_user}","gists_url":"https://api.github.com/users/leanprover-community/gists{/gist_id}","starred_url":"https://api.github.com/users/leanprover-community/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leanprover-community/subscriptions","organizations_url":"https://api.github.com/users/leanprover-community/orgs","repos_url":"https://api.github.com/users/leanprover-community/repos","events_url":"https://api.github.com/users/leanprover-community/events{/privacy}","received_events_url":"https://api.github.com/users/leanprover-community/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/leanprover-community/mathlib4","description":"The math library of Lean 4","fork":false,"url":"https://api.github.com/repos/leanprover-community/mathlib4","forks_url":"https://api.github.com/repos/leanprover-community/mathlib4/forks","keys_url":"https://api.github.com/repos/leanprover-community/mathlib4/keys{/key_id}","collaborators_url":"https://api.github.com/repos/leanprover-community/mathlib4/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/leanprover-community/mathlib4/teams","hooks_url":"https://api.github.com/repos/leanprover-community/mathlib4/hooks","issue_events_url":"https://api.github.com/repos/leanprover-community/mathlib4/issues/events{/number}","events_url":"https://api.github.com/repos/leanprover-community/mathlib4/events","assignees_url":"https://api.github.com/repos/leanprover-community/mathlib4/assignees{/user}","branches_url":"https://api.github.com/repos/leanprover-community/mathlib4/branches{/branch}","tags_url":"https://api.github.com/repos/leanprover-community/mathlib4/tags","blobs_url":"https://api.github.com/repos/leanprover-community/mathlib4/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/leanprover-community/mathlib4/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/leanprover-community/mathlib4/git/refs{/sha}","trees_url":"https://api.github.com/repos/leanprover-community/mathlib4/git/trees{/sha}","statuses_url":"https://api.github.com/repos/leanprover-community/mathlib4/statuses/{sha}","languages_url":"https://api.github.com/repos/leanprover-community/mathlib4/languages","stargazers_url":"https://api.github.com/repos/leanprover-community/mathlib4/stargazers","contributors_url":"https://api.github.com/repos/leanprover-community/mathlib4/contributors","subscribers_url":"https://api.github.com/repos/leanprover-community/mathlib4/subscribers","subscription_url":"https://api.github.com/repos/leanprover-community/mathlib4/subscription","commits_url":"https://api.github.com/repos/leanprover-community/mathlib4/commits{/sha}","git_commits_url":"https://api.github.com/repos/leanprover-community/mathlib4/git/commits{/sha}","comments_url":"https://api.github.com/repos/leanprover-community/mathlib4/comments{/number}","issue_comment_url":"https://api.github.com/repos/leanprover-community/mathlib4/issues/comments{/number}","contents_url":"https://api.github.com/repos/leanprover-community/mathlib4/contents/{+path}","compare_url":"https://api.github.com/repos/leanprover-community/mathlib4/compare/{base}...{head}","merges_url":"https://api.github.com/repos/leanprover-community/mathlib4/merges","archive_url":"https://api.github.com/repos/leanprover-community/mathlib4/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/leanprover-community/mathlib4/downloads","issues_url":"https://api.github.com/repos/leanprover-community/mathlib4/issues{/number}","pulls_url":"https://api.github.com/repos/leanprover-community/mathlib4/pulls{/number}","milestones_url":"https://api.github.com/repos/leanprover-community/mathlib4/milestones{/number}","notifications_url":"https://api.github.com/repos/leanprover-community/mathlib4/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/leanprover-community/mathlib4/labels{/name}","releases_url":"https://api.github.com/repos/leanprover-community/mathlib4/releases{/id}","deployments_url":"https://api.github.com/repos/leanprover-community/mathlib4/deployments","created_at":"2021-05-09T07:52:01Z","updated_at":"2026-10-08T07:02:09Z","pushed_at":"2026-10-08T07:45:32Z","git_url":"git://github.com/leanprover-community/mathlib4.git","ssh_url":"git@github.com:leanprover-community/mathlib4.git","clone_url":"https://github.com/leanprover-community/mathlib4.git","svn_url":"https://github.com/leanprover-community/mathlib4","homepage":"https://leanprover-community.github.io/mathlib4_docs","size":502796,"stargazers_count":4250,"watchers_count":4250,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1741,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3466,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["lean4"],"visibility":"public","forks":1741,"open_issues":3466,"watchers":4250,"default_branch":"master","score":1.0},{"id":1361260630,"node_id":"R_kgDOUSMwVg","name":"NavierStokesAndEuler","full_name":"openai/NavierStokesAndEuler","private":false,"owner":{"login":"openai","id":14957082,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE0OTU3MDgy","avatar_url":"https://avatars.githubusercontent.com/u/14957082?v=4","gravatar_id":"","url":"https://api.github.com/users/openai","html_url":"https://github.com/openai","followers_url":"https://api.github.com/users/openai/followers","following_url":"https://api.github.com/users/openai/following{/other_user}","gists_url":"https://api.github.com/users/openai/gists{/gist_id}","starred_url":"https://api.github.com/users/openai/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/openai/subscriptions","organizations_url":"https://api.github.com/users/openai/orgs","repos_url":"https://api.github.com/users/openai/repos","events_url":"https://api.github.com/users/openai/events{/privacy}","received_events_url":"https://api.github.com/users/openai/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/openai/NavierStokesAndEuler","description":"Lean certificates accompanying Navier-Stokes and Euler results","fork":false,"url":"https://api.github.com/repos/openai/NavierStokesAndEuler","forks_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/forks","keys_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/keys{/key_id}","collaborators_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/teams","hooks_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/hooks","issue_events_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/issues/events{/number}","events_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/events","assignees_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/assignees{/user}","branches_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/branches{/branch}","tags_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/tags","blobs_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/git/refs{/sha}","trees_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/git/trees{/sha}","statuses_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/statuses/{sha}","languages_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/languages","stargazers_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/stargazers","contributors_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/contributors","subscribers_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/subscribers","subscription_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/subscription","commits_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/commits{/sha}","git_commits_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/git/commits{/sha}","comments_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/comments{/number}","issue_comment_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/issues/comments{/number}","contents_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/contents/{+path}","compare_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/compare/{base}...{head}","merges_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/merges","archive_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/downloads","issues_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/issues{/number}","pulls_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/pulls{/number}","milestones_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/milestones{/number}","notifications_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/labels{/name}","releases_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/releases{/id}","deployments_url":"https://api.github.com/repos/openai/NavierStokesAndEuler/deployments","created_at":"2026-09-08T10:53:38Z","updated_at":"2026-10-08T02:03:21Z","pushed_at":"2026-09-10T15:14:13Z","git_url":"git://github.com/openai/NavierStokesAndEuler.git","ssh_url":"org-14957082@github.com:openai/NavierStokesAndEuler.git","clone_url":"https://github.com/openai/NavierStokesAndEuler.git","svn_url":"https://github.com/openai/NavierStokesAndEuler","homepage":"","size":8370,"stargazers_count":2050,"watchers_count":2050,"language":"Lean","has_issues":false,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":215,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":false,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":215,"open_issues":0,"watchers":2050,"default_branch":"main","score":1.0},{"id":993895164,"node_id":"R_kgDOOz2i_A","name":"analysis","full_name":"teorth/analysis","private":false,"owner":{"login":"teorth","id":199308,"node_id":"MDQ6VXNlcjE5OTMwOA==","avatar_url":"https://avatars.githubusercontent.com/u/199308?v=4","gravatar_id":"","url":"https://api.github.com/users/teorth","html_url":"https://github.com/teorth","followers_url":"https://api.github.com/users/teorth/followers","following_url":"https://api.github.com/users/teorth/following{/other_user}","gists_url":"https://api.github.com/users/teorth/gists{/gist_id}","starred_url":"https://api.github.com/users/teorth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/teorth/subscriptions","organizations_url":"https://api.github.com/users/teorth/orgs","repos_url":"https://api.github.com/users/teorth/repos","events_url":"https://api.github.com/users/teorth/events{/privacy}","received_events_url":"https://api.github.com/users/teorth/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/teorth/analysis","description":"A Lean companion to Analysis I","fork":false,"url":"https://api.github.com/repos/teorth/analysis","forks_url":"https://api.github.com/repos/teorth/analysis/forks","keys_url":"https://api.github.com/repos/teorth/analysis/keys{/key_id}","collaborators_url":"https://api.github.com/repos/teorth/analysis/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/teorth/analysis/teams","hooks_url":"https://api.github.com/repos/teorth/analysis/hooks","issue_events_url":"https://api.github.com/repos/teorth/analysis/issues/events{/number}","events_url":"https://api.github.com/repos/teorth/analysis/events","assignees_url":"https://api.github.com/repos/teorth/analysis/assignees{/user}","branches_url":"https://api.github.com/repos/teorth/analysis/branches{/branch}","tags_url":"https://api.github.com/repos/teorth/analysis/tags","blobs_url":"https://api.github.com/repos/teorth/analysis/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/teorth/analysis/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/teorth/analysis/git/refs{/sha}","trees_url":"https://api.github.com/repos/teorth/analysis/git/trees{/sha}","statuses_url":"https://api.github.com/repos/teorth/analysis/statuses/{sha}","languages_url":"https://api.github.com/repos/teorth/analysis/languages","stargazers_url":"https://api.github.com/repos/teorth/analysis/stargazers","contributors_url":"https://api.github.com/repos/teorth/analysis/contributors","subscribers_url":"https://api.github.com/repos/teorth/analysis/subscribers","subscription_url":"https://api.github.com/repos/teorth/analysis/subscription","commits_url":"https://api.github.com/repos/teorth/analysis/commits{/sha}","git_commits_url":"https://api.github.com/repos/teorth/analysis/git/commits{/sha}","comments_url":"https://api.github.com/repos/teorth/analysis/comments{/number}","issue_comment_url":"https://api.github.com/repos/teorth/analysis/issues/comments{/number}","contents_url":"https://api.github.com/repos/teorth/analysis/contents/{+path}","compare_url":"https://api.github.com/repos/teorth/analysis/compare/{base}...{head}","merges_url":"https://api.github.com/repos/teorth/analysis/merges","archive_url":"https://api.github.com/repos/teorth/analysis/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/teorth/analysis/downloads","issues_url":"https://api.github.com/repos/teorth/analysis/issues{/number}","pulls_url":"https://api.github.com/repos/teorth/analysis/pulls{/number}","milestones_url":"https://api.github.com/repos/teorth/analysis/milestones{/number}","notifications_url":"https://api.github.com/repos/teorth/analysis/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/teorth/analysis/labels{/name}","releases_url":"https://api.github.com/repos/teorth/analysis/releases{/id}","deployments_url":"https://api.github.com/repos/teorth/analysis/deployments","created_at":"2025-05-31T18:49:43Z","updated_at":"2026-10-07T03:38:06Z","pushed_at":"2026-09-26T17:24:04Z","git_url":"git://github.com/teorth/analysis.git","ssh_url":"git@github.com:teorth/analysis.git","clone_url":"https://github.com/teorth/analysis.git","svn_url":"https://github.com/teorth/analysis","homepage":"https://teorth.github.io/analysis/","size":2751,"stargazers_count":1945,"watchers_count":1945,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":271,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":23,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":271,"open_issues":23,"watchers":1945,"default_branch":"main","score":1.0},{"id":97922418,"node_id":"MDEwOlJlcG9zaXRvcnk5NzkyMjQxOA==","name":"mathlib3","full_name":"leanprover-community/mathlib3","private":false,"owner":{"login":"leanprover-community","id":41703605,"node_id":"MDEyOk9yZ2FuaXphdGlvbjQxNzAzNjA1","avatar_url":"https://avatars.githubusercontent.com/u/41703605?v=4","gravatar_id":"","url":"https://api.github.com/users/leanprover-community","html_url":"https://github.com/leanprover-community","followers_url":"https://api.github.com/users/leanprover-community/followers","following_url":"https://api.github.com/users/leanprover-community/following{/other_user}","gists_url":"https://api.github.com/users/leanprover-community/gists{/gist_id}","starred_url":"https://api.github.com/users/leanprover-community/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leanprover-community/subscriptions","organizations_url":"https://api.github.com/users/leanprover-community/orgs","repos_url":"https://api.github.com/users/leanprover-community/repos","events_url":"https://api.github.com/users/leanprover-community/events{/privacy}","received_events_url":"https://api.github.com/users/leanprover-community/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/leanprover-community/mathlib3","description":"Lean 3's obsolete mathematical components library: please use mathlib4","fork":false,"url":"https://api.github.com/repos/leanprover-community/mathlib3","forks_url":"https://api.github.com/repos/leanprover-community/mathlib3/forks","keys_url":"https://api.github.com/repos/leanprover-community/mathlib3/keys{/key_id}","collaborators_url":"https://api.github.com/repos/leanprover-community/mathlib3/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/leanprover-community/mathlib3/teams","hooks_url":"https://api.github.com/repos/leanprover-community/mathlib3/hooks","issue_events_url":"https://api.github.com/repos/leanprover-community/mathlib3/issues/events{/number}","events_url":"https://api.github.com/repos/leanprover-community/mathlib3/events","assignees_url":"https://api.github.com/repos/leanprover-community/mathlib3/assignees{/user}","branches_url":"https://api.github.com/repos/leanprover-community/mathlib3/branches{/branch}","tags_url":"https://api.github.com/repos/leanprover-community/mathlib3/tags","blobs_url":"https://api.github.com/repos/leanprover-community/mathlib3/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/leanprover-community/mathlib3/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/leanprover-community/mathlib3/git/refs{/sha}","trees_url":"https://api.github.com/repos/leanprover-community/mathlib3/git/trees{/sha}","statuses_url":"https://api.github.com/repos/leanprover-community/mathlib3/statuses/{sha}","languages_url":"https://api.github.com/repos/leanprover-community/mathlib3/languages","stargazers_url":"https://api.github.com/repos/leanprover-community/mathlib3/stargazers","contributors_url":"https://api.github.com/repos/leanprover-community/mathlib3/contributors","subscribers_url":"https://api.github.com/repos/leanprover-community/mathlib3/subscribers","subscription_url":"https://api.github.com/repos/leanprover-community/mathlib3/subscription","commits_url":"https://api.github.com/repos/leanprover-community/mathlib3/commits{/sha}","git_commits_url":"https://api.github.com/repos/leanprover-community/mathlib3/git/commits{/sha}","comments_url":"https://api.github.com/repos/leanprover-community/mathlib3/comments{/number}","issue_comment_url":"https://api.github.com/repos/leanprover-community/mathlib3/issues/comments{/number}","contents_url":"https://api.github.com/repos/leanprover-community/mathlib3/contents/{+path}","compare_url":"https://api.github.com/repos/leanprover-community/mathlib3/compare/{base}...{head}","merges_url":"https://api.github.com/repos/leanprover-community/mathlib3/merges","archive_url":"https://api.github.com/repos/leanprover-community/mathlib3/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/leanprover-community/mathlib3/downloads","issues_url":"https://api.github.com/repos/leanprover-community/mathlib3/issues{/number}","pulls_url":"https://api.github.com/repos/leanprover-community/mathlib3/pulls{/number}","milestones_url":"https://api.github.com/repos/leanprover-community/mathlib3/milestones{/number}","notifications_url":"https://api.github.com/repos/leanprover-community/mathlib3/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/leanprover-community/mathlib3/labels{/name}","releases_url":"https://api.github.com/repos/leanprover-community/mathlib3/releases{/id}","deployments_url":"https://api.github.com/repos/leanprover-community/mathlib3/deployments","created_at":"2017-07-21T08:02:10Z","updated_at":"2026-10-02T00:14:01Z","pushed_at":"2024-06-28T02:36:34Z","git_url":"git://github.com/leanprover-community/mathlib3.git","ssh_url":"git@github.com:leanprover-community/mathlib3.git","clone_url":"https://github.com/leanprover-community/mathlib3.git","svn_url":"https://github.com/leanprover-community/mathlib3","homepage":"https://leanprover-community.github.io/lean3","size":222840,"stargazers_count":1660,"watchers_count":1660,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":289,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":374,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["formal-mathematics","formal-methods","formal-proofs","lean","proof-automation","theorem-proving"],"visibility":"public","forks":289,"open_issues":374,"watchers":1660,"default_branch":"master","score":1.0},{"id":982001159,"node_id":"R_kgDOOogmBw","name":"formal-conjectures","full_name":"google-deepmind/formal-conjectures","private":false,"owner":{"login":"google-deepmind","id":8596759,"node_id":"MDEyOk9yZ2FuaXphdGlvbjg1OTY3NTk=","avatar_url":"https://avatars.githubusercontent.com/u/8596759?v=4","gravatar_id":"","url":"https://api.github.com/users/google-deepmind","html_url":"https://github.com/google-deepmind","followers_url":"https://api.github.com/users/google-deepmind/followers","following_url":"https://api.github.com/users/google-deepmind/following{/other_user}","gists_url":"https://api.github.com/users/google-deepmind/gists{/gist_id}","starred_url":"https://api.github.com/users/google-deepmind/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/google-deepmind/subscriptions","organizations_url":"https://api.github.com/users/google-deepmind/orgs","repos_url":"https://api.github.com/users/google-deepmind/repos","events_url":"https://api.github.com/users/google-deepmind/events{/privacy}","received_events_url":"https://api.github.com/users/google-deepmind/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/google-deepmind/formal-conjectures","description":"A collection of formalized statements of conjectures in Lean.","fork":false,"url":"https://api.github.com/repos/google-deepmind/formal-conjectures","forks_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/forks","keys_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/keys{/key_id}","collaborators_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/teams","hooks_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/hooks","issue_events_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/issues/events{/number}","events_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/events","assignees_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/assignees{/user}","branches_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/branches{/branch}","tags_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/tags","blobs_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/git/refs{/sha}","trees_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/git/trees{/sha}","statuses_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/statuses/{sha}","languages_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/languages","stargazers_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/stargazers","contributors_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/contributors","subscribers_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/subscribers","subscription_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/subscription","commits_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/commits{/sha}","git_commits_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/git/commits{/sha}","comments_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/comments{/number}","issue_comment_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/issues/comments{/number}","contents_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/contents/{+path}","compare_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/compare/{base}...{head}","merges_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/merges","archive_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/downloads","issues_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/issues{/number}","pulls_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/pulls{/number}","milestones_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/milestones{/number}","notifications_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/labels{/name}","releases_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/releases{/id}","deployments_url":"https://api.github.com/repos/google-deepmind/formal-conjectures/deployments","created_at":"2025-05-12T08:22:05Z","updated_at":"2026-10-08T06:49:19Z","pushed_at":"2026-10-08T06:49:15Z","git_url":"git://github.com/google-deepmind/formal-conjectures.git","ssh_url":"git@github.com:google-deepmind/formal-conjectures.git","clone_url":"https://github.com/google-deepmind/formal-conjectures.git","svn_url":"https://github.com/google-deepmind/formal-conjectures","homepage":"https://google-deepmind.github.io/formal-conjectures/","size":11753,"stargazers_count":1310,"watchers_count":1310,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":true,"forks_count":522,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1378,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["formal-mathematics","lean4"],"visibility":"public","forks":522,"open_issues":1378,"watchers":1310,"default_branch":"main","score":1.0},{"id":1357228959,"node_id":"R_kgDOUOWrnw","name":"fermats-last-theorem","full_name":"anthropics/fermats-last-theorem","private":false,"owner":{"login":"anthropics","id":76263028,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc2MjYzMDI4","avatar_url":"https://avatars.githubusercontent.com/u/76263028?v=4","gravatar_id":"","url":"https://api.github.com/users/anthropics","html_url":"https://github.com/anthropics","followers_url":"https://api.github.com/users/anthropics/followers","following_url":"https://api.github.com/users/anthropics/following{/other_user}","gists_url":"https://api.github.com/users/anthropics/gists{/gist_id}","starred_url":"https://api.github.com/users/anthropics/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/anthropics/subscriptions","organizations_url":"https://api.github.com/users/anthropics/orgs","repos_url":"https://api.github.com/users/anthropics/repos","events_url":"https://api.github.com/users/anthropics/events{/privacy}","received_events_url":"https://api.github.com/users/anthropics/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/anthropics/fermats-last-theorem","description":null,"fork":false,"url":"https://api.github.com/repos/anthropics/fermats-last-theorem","forks_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/forks","keys_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/keys{/key_id}","collaborators_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/teams","hooks_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/hooks","issue_events_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/issues/events{/number}","events_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/events","assignees_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/assignees{/user}","branches_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/branches{/branch}","tags_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/tags","blobs_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/git/refs{/sha}","trees_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/git/trees{/sha}","statuses_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/statuses/{sha}","languages_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/languages","stargazers_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/stargazers","contributors_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/contributors","subscribers_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/subscribers","subscription_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/subscription","commits_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/commits{/sha}","git_commits_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/git/commits{/sha}","comments_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/comments{/number}","issue_comment_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/issues/comments{/number}","contents_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/contents/{+path}","compare_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/compare/{base}...{head}","merges_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/merges","archive_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/downloads","issues_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/issues{/number}","pulls_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/pulls{/number}","milestones_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/milestones{/number}","notifications_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/labels{/name}","releases_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/releases{/id}","deployments_url":"https://api.github.com/repos/anthropics/fermats-last-theorem/deployments","created_at":"2026-09-04T14:21:04Z","updated_at":"2026-10-08T04:30:40Z","pushed_at":"2026-09-24T14:06:42Z","git_url":"git://github.com/anthropics/fermats-last-theorem.git","ssh_url":"git@github.com:anthropics/fermats-last-theorem.git","clone_url":"https://github.com/anthropics/fermats-last-theorem.git","svn_url":"https://github.com/anthropics/fermats-last-theorem","homepage":null,"size":232567,"stargazers_count":1257,"watchers_count":1257,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":108,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":5,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":108,"open_issues":5,"watchers":1257,"default_branch":"main","score":1.0},{"id":720818377,"node_id":"R_kgDOKvbQyQ","name":"FLT","full_name":"ImperialCollegeLondon/FLT","private":false,"owner":{"login":"ImperialCollegeLondon","id":1220306,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEyMjAzMDY=","avatar_url":"https://avatars.githubusercontent.com/u/1220306?v=4","gravatar_id":"","url":"https://api.github.com/users/ImperialCollegeLondon","html_url":"https://github.com/ImperialCollegeLondon","followers_url":"https://api.github.com/users/ImperialCollegeLondon/followers","following_url":"https://api.github.com/users/ImperialCollegeLondon/following{/other_user}","gists_url":"https://api.github.com/users/ImperialCollegeLondon/gists{/gist_id}","starred_url":"https://api.github.com/users/ImperialCollegeLondon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ImperialCollegeLondon/subscriptions","organizations_url":"https://api.github.com/users/ImperialCollegeLondon/orgs","repos_url":"https://api.github.com/users/ImperialCollegeLondon/repos","events_url":"https://api.github.com/users/ImperialCollegeLondon/events{/privacy}","received_events_url":"https://api.github.com/users/ImperialCollegeLondon/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ImperialCollegeLondon/FLT","description":"Ongoing Lean formalisation of the proof of Fermat's Last Theorem","fork":false,"url":"https://api.github.com/repos/ImperialCollegeLondon/FLT","forks_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/forks","keys_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/teams","hooks_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/hooks","issue_events_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/issues/events{/number}","events_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/events","assignees_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/assignees{/user}","branches_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/branches{/branch}","tags_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/tags","blobs_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/git/refs{/sha}","trees_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/statuses/{sha}","languages_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/languages","stargazers_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/stargazers","contributors_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/contributors","subscribers_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/subscribers","subscription_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/subscription","commits_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/commits{/sha}","git_commits_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/git/commits{/sha}","comments_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/comments{/number}","issue_comment_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/issues/comments{/number}","contents_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/contents/{+path}","compare_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/merges","archive_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/downloads","issues_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/issues{/number}","pulls_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/pulls{/number}","milestones_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/milestones{/number}","notifications_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/labels{/name}","releases_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/releases{/id}","deployments_url":"https://api.github.com/repos/ImperialCollegeLondon/FLT/deployments","created_at":"2023-11-19T17:37:05Z","updated_at":"2026-10-07T19:30:04Z","pushed_at":"2026-10-04T15:53:34Z","git_url":"git://github.com/ImperialCollegeLondon/FLT.git","ssh_url":"git@github.com:ImperialCollegeLondon/FLT.git","clone_url":"https://github.com/ImperialCollegeLondon/FLT.git","svn_url":"https://github.com/ImperialCollegeLondon/FLT","homepage":"https://imperialcollegelondon.github.io/FLT/","size":39448,"stargazers_count":1042,"watchers_count":1042,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":169,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":64,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":169,"open_issues":64,"watchers":1042,"default_branch":"main","score":1.0},{"id":1085936443,"node_id":"R_kgDOQLoTOw","name":"superhuman","full_name":"google-deepmind/superhuman","private":false,"owner":{"login":"google-deepmind","id":8596759,"node_id":"MDEyOk9yZ2FuaXphdGlvbjg1OTY3NTk=","avatar_url":"https://avatars.githubusercontent.com/u/8596759?v=4","gravatar_id":"","url":"https://api.github.com/users/google-deepmind","html_url":"https://github.com/google-deepmind","followers_url":"https://api.github.com/users/google-deepmind/followers","following_url":"https://api.github.com/users/google-deepmind/following{/other_user}","gists_url":"https://api.github.com/users/google-deepmind/gists{/gist_id}","starred_url":"https://api.github.com/users/google-deepmind/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/google-deepmind/subscriptions","organizations_url":"https://api.github.com/users/google-deepmind/orgs","repos_url":"https://api.github.com/users/google-deepmind/repos","events_url":"https://api.github.com/users/google-deepmind/events{/privacy}","received_events_url":"https://api.github.com/users/google-deepmind/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/google-deepmind/superhuman","description":null,"fork":false,"url":"https://api.github.com/repos/google-deepmind/superhuman","forks_url":"https://api.github.com/repos/google-deepmind/superhuman/forks","keys_url":"https://api.github.com/repos/google-deepmind/superhuman/keys{/key_id}","collaborators_url":"https://api.github.com/repos/google-deepmind/superhuman/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/google-deepmind/superhuman/teams","hooks_url":"https://api.github.com/repos/google-deepmind/superhuman/hooks","issue_events_url":"https://api.github.com/repos/google-deepmind/superhuman/issues/events{/number}","events_url":"https://api.github.com/repos/google-deepmind/superhuman/events","assignees_url":"https://api.github.com/repos/google-deepmind/superhuman/assignees{/user}","branches_url":"https://api.github.com/repos/google-deepmind/superhuman/branches{/branch}","tags_url":"https://api.github.com/repos/google-deepmind/superhuman/tags","blobs_url":"https://api.github.com/repos/google-deepmind/superhuman/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/google-deepmind/superhuman/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/google-deepmind/superhuman/git/refs{/sha}","trees_url":"https://api.github.com/repos/google-deepmind/superhuman/git/trees{/sha}","statuses_url":"https://api.github.com/repos/google-deepmind/superhuman/statuses/{sha}","languages_url":"https://api.github.com/repos/google-deepmind/superhuman/languages","stargazers_url":"https://api.github.com/repos/google-deepmind/superhuman/stargazers","contributors_url":"https://api.github.com/repos/google-deepmind/superhuman/contributors","subscribers_url":"https://api.github.com/repos/google-deepmind/superhuman/subscribers","subscription_url":"https://api.github.com/repos/google-deepmind/superhuman/subscription","commits_url":"https://api.github.com/repos/google-deepmind/superhuman/commits{/sha}","git_commits_url":"https://api.github.com/repos/google-deepmind/superhuman/git/commits{/sha}","comments_url":"https://api.github.com/repos/google-deepmind/superhuman/comments{/number}","issue_comment_url":"https://api.github.com/repos/google-deepmind/superhuman/issues/comments{/number}","contents_url":"https://api.github.com/repos/google-deepmind/superhuman/contents/{+path}","compare_url":"https://api.github.com/repos/google-deepmind/superhuman/compare/{base}...{head}","merges_url":"https://api.github.com/repos/google-deepmind/superhuman/merges","archive_url":"https://api.github.com/repos/google-deepmind/superhuman/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/google-deepmind/superhuman/downloads","issues_url":"https://api.github.com/repos/google-deepmind/superhuman/issues{/number}","pulls_url":"https://api.github.com/repos/google-deepmind/superhuman/pulls{/number}","milestones_url":"https://api.github.com/repos/google-deepmind/superhuman/milestones{/number}","notifications_url":"https://api.github.com/repos/google-deepmind/superhuman/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/google-deepmind/superhuman/labels{/name}","releases_url":"https://api.github.com/repos/google-deepmind/superhuman/releases{/id}","deployments_url":"https://api.github.com/repos/google-deepmind/superhuman/deployments","created_at":"2025-10-29T18:01:23Z","updated_at":"2026-10-03T10:22:14Z","pushed_at":"2026-08-19T22:19:06Z","git_url":"git://github.com/google-deepmind/superhuman.git","ssh_url":"git@github.com:google-deepmind/superhuman.git","clone_url":"https://github.com/google-deepmind/superhuman.git","svn_url":"https://github.com/google-deepmind/superhuman","homepage":null,"size":14061,"stargazers_count":805,"watchers_count":805,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":false,"forks_count":84,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":22,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":84,"open_issues":22,"watchers":805,"default_branch":"main","score":1.0},{"id":787574978,"node_id":"R_kgDOLvFwwg","name":"physlib","full_name":"leanprover-community/physlib","private":false,"owner":{"login":"leanprover-community","id":41703605,"node_id":"MDEyOk9yZ2FuaXphdGlvbjQxNzAzNjA1","avatar_url":"https://avatars.githubusercontent.com/u/41703605?v=4","gravatar_id":"","url":"https://api.github.com/users/leanprover-community","html_url":"https://github.com/leanprover-community","followers_url":"https://api.github.com/users/leanprover-community/followers","following_url":"https://api.github.com/users/leanprover-community/following{/other_user}","gists_url":"https://api.github.com/users/leanprover-community/gists{/gist_id}","starred_url":"https://api.github.com/users/leanprover-community/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leanprover-community/subscriptions","organizations_url":"https://api.github.com/users/leanprover-community/orgs","repos_url":"https://api.github.com/users/leanprover-community/repos","events_url":"https://api.github.com/users/leanprover-community/events{/privacy}","received_events_url":"https://api.github.com/users/leanprover-community/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/leanprover-community/physlib","description":"A project to digitalise results from physics into Lean.","fork":false,"url":"https://api.github.com/repos/leanprover-community/physlib","forks_url":"https://api.github.com/repos/leanprover-community/physlib/forks","keys_url":"https://api.github.com/repos/leanprover-community/physlib/keys{/key_id}","collaborators_url":"https://api.github.com/repos/leanprover-community/physlib/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/leanprover-community/physlib/teams","hooks_url":"https://api.github.com/repos/leanprover-community/physlib/hooks","issue_events_url":"https://api.github.com/repos/leanprover-community/physlib/issues/events{/number}","events_url":"https://api.github.com/repos/leanprover-community/physlib/events","assignees_url":"https://api.github.com/repos/leanprover-community/physlib/assignees{/user}","branches_url":"https://api.github.com/repos/leanprover-community/physlib/branches{/branch}","tags_url":"https://api.github.com/repos/leanprover-community/physlib/tags","blobs_url":"https://api.github.com/repos/leanprover-community/physlib/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/leanprover-community/physlib/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/leanprover-community/physlib/git/refs{/sha}","trees_url":"https://api.github.com/repos/leanprover-community/physlib/git/trees{/sha}","statuses_url":"https://api.github.com/repos/leanprover-community/physlib/statuses/{sha}","languages_url":"https://api.github.com/repos/leanprover-community/physlib/languages","stargazers_url":"https://api.github.com/repos/leanprover-community/physlib/stargazers","contributors_url":"https://api.github.com/repos/leanprover-community/physlib/contributors","subscribers_url":"https://api.github.com/repos/leanprover-community/physlib/subscribers","subscription_url":"https://api.github.com/repos/leanprover-community/physlib/subscription","commits_url":"https://api.github.com/repos/leanprover-community/physlib/commits{/sha}","git_commits_url":"https://api.github.com/repos/leanprover-community/physlib/git/commits{/sha}","comments_url":"https://api.github.com/repos/leanprover-community/physlib/comments{/number}","issue_comment_url":"https://api.github.com/repos/leanprover-community/physlib/issues/comments{/number}","contents_url":"https://api.github.com/repos/leanprover-community/physlib/contents/{+path}","compare_url":"https://api.github.com/repos/leanprover-community/physlib/compare/{base}...{head}","merges_url":"https://api.github.com/repos/leanprover-community/physlib/merges","archive_url":"https://api.github.com/repos/leanprover-community/physlib/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/leanprover-community/physlib/downloads","issues_url":"https://api.github.com/repos/leanprover-community/physlib/issues{/number}","pulls_url":"https://api.github.com/repos/leanprover-community/physlib/pulls{/number}","milestones_url":"https://api.github.com/repos/leanprover-community/physlib/milestones{/number}","notifications_url":"https://api.github.com/repos/leanprover-community/physlib/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/leanprover-community/physlib/labels{/name}","releases_url":"https://api.github.com/repos/leanprover-community/physlib/releases{/id}","deployments_url":"https://api.github.com/repos/leanprover-community/physlib/deployments","created_at":"2024-04-16T19:31:13Z","updated_at":"2026-10-08T05:55:27Z","pushed_at":"2026-10-08T05:55:23Z","git_url":"git://github.com/leanprover-community/physlib.git","ssh_url":"git@github.com:leanprover-community/physlib.git","clone_url":"https://github.com/leanprover-community/physlib.git","svn_url":"https://github.com/leanprover-community/physlib","homepage":"https://physlib.io","size":18545,"stargazers_count":774,"watchers_count":774,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":true,"forks_count":199,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":106,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["lean","physics","theorem-proving"],"visibility":"public","forks":199,"open_issues":106,"watchers":774,"default_branch":"master","score":1.0},{"id":1003510928,"node_id":"R_kgDOO9BckA","name":"cslib","full_name":"leanprover/cslib","private":false,"owner":{"login":"leanprover","id":7233018,"node_id":"MDEyOk9yZ2FuaXphdGlvbjcyMzMwMTg=","avatar_url":"https://avatars.githubusercontent.com/u/7233018?v=4","gravatar_id":"","url":"https://api.github.com/users/leanprover","html_url":"https://github.com/leanprover","followers_url":"https://api.github.com/users/leanprover/followers","following_url":"https://api.github.com/users/leanprover/following{/other_user}","gists_url":"https://api.github.com/users/leanprover/gists{/gist_id}","starred_url":"https://api.github.com/users/leanprover/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leanprover/subscriptions","organizations_url":"https://api.github.com/users/leanprover/orgs","repos_url":"https://api.github.com/users/leanprover/repos","events_url":"https://api.github.com/users/leanprover/events{/privacy}","received_events_url":"https://api.github.com/users/leanprover/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/leanprover/cslib","description":"The Lean Computer Science Library (CSLib)","fork":false,"url":"https://api.github.com/repos/leanprover/cslib","forks_url":"https://api.github.com/repos/leanprover/cslib/forks","keys_url":"https://api.github.com/repos/leanprover/cslib/keys{/key_id}","collaborators_url":"https://api.github.com/repos/leanprover/cslib/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/leanprover/cslib/teams","hooks_url":"https://api.github.com/repos/leanprover/cslib/hooks","issue_events_url":"https://api.github.com/repos/leanprover/cslib/issues/events{/number}","events_url":"https://api.github.com/repos/leanprover/cslib/events","assignees_url":"https://api.github.com/repos/leanprover/cslib/assignees{/user}","branches_url":"https://api.github.com/repos/leanprover/cslib/branches{/branch}","tags_url":"https://api.github.com/repos/leanprover/cslib/tags","blobs_url":"https://api.github.com/repos/leanprover/cslib/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/leanprover/cslib/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/leanprover/cslib/git/refs{/sha}","trees_url":"https://api.github.com/repos/leanprover/cslib/git/trees{/sha}","statuses_url":"https://api.github.com/repos/leanprover/cslib/statuses/{sha}","languages_url":"https://api.github.com/repos/leanprover/cslib/languages","stargazers_url":"https://api.github.com/repos/leanprover/cslib/stargazers","contributors_url":"https://api.github.com/repos/leanprover/cslib/contributors","subscribers_url":"https://api.github.com/repos/leanprover/cslib/subscribers","subscription_url":"https://api.github.com/repos/leanprover/cslib/subscription","commits_url":"https://api.github.com/repos/leanprover/cslib/commits{/sha}","git_commits_url":"https://api.github.com/repos/leanprover/cslib/git/commits{/sha}","comments_url":"https://api.github.com/repos/leanprover/cslib/comments{/number}","issue_comment_url":"https://api.github.com/repos/leanprover/cslib/issues/comments{/number}","contents_url":"https://api.github.com/repos/leanprover/cslib/contents/{+path}","compare_url":"https://api.github.com/repos/leanprover/cslib/compare/{base}...{head}","merges_url":"https://api.github.com/repos/leanprover/cslib/merges","archive_url":"https://api.github.com/repos/leanprover/cslib/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/leanprover/cslib/downloads","issues_url":"https://api.github.com/repos/leanprover/cslib/issues{/number}","pulls_url":"https://api.github.com/repos/leanprover/cslib/pulls{/number}","milestones_url":"https://api.github.com/repos/leanprover/cslib/milestones{/number}","notifications_url":"https://api.github.com/repos/leanprover/cslib/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/leanprover/cslib/labels{/name}","releases_url":"https://api.github.com/repos/leanprover/cslib/releases{/id}","deployments_url":"https://api.github.com/repos/leanprover/cslib/deployments","created_at":"2025-06-17T08:59:32Z","updated_at":"2026-10-08T01:38:25Z","pushed_at":"2026-10-08T00:16:37Z","git_url":"git://github.com/leanprover/cslib.git","ssh_url":"git@github.com:leanprover/cslib.git","clone_url":"https://github.com/leanprover/cslib.git","svn_url":"https://github.com/leanprover/cslib","homepage":"https://www.cslib.io/","size":11100,"stargazers_count":733,"watchers_count":733,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":210,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":213,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["computer-science","lean"],"visibility":"public","forks":210,"open_issues":213,"watchers":733,"default_branch":"main","score":1.0},{"id":63834898,"node_id":"MDEwOlJlcG9zaXRvcnk2MzgzNDg5OA==","name":"Cosette","full_name":"uwdb/Cosette","private":false,"owner":{"login":"uwdb","id":4808591,"node_id":"MDEyOk9yZ2FuaXphdGlvbjQ4MDg1OTE=","avatar_url":"https://avatars.githubusercontent.com/u/4808591?v=4","gravatar_id":"","url":"https://api.github.com/users/uwdb","html_url":"https://github.com/uwdb","followers_url":"https://api.github.com/users/uwdb/followers","following_url":"https://api.github.com/users/uwdb/following{/other_user}","gists_url":"https://api.github.com/users/uwdb/gists{/gist_id}","starred_url":"https://api.github.com/users/uwdb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/uwdb/subscriptions","organizations_url":"https://api.github.com/users/uwdb/orgs","repos_url":"https://api.github.com/users/uwdb/repos","events_url":"https://api.github.com/users/uwdb/events{/privacy}","received_events_url":"https://api.github.com/users/uwdb/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/uwdb/Cosette","description":"Cosette is an automated SQL solver.","fork":false,"url":"https://api.github.com/repos/uwdb/Cosette","forks_url":"https://api.github.com/repos/uwdb/Cosette/forks","keys_url":"https://api.github.com/repos/uwdb/Cosette/keys{/key_id}","collaborators_url":"https://api.github.com/repos/uwdb/Cosette/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/uwdb/Cosette/teams","hooks_url":"https://api.github.com/repos/uwdb/Cosette/hooks","issue_events_url":"https://api.github.com/repos/uwdb/Cosette/issues/events{/number}","events_url":"https://api.github.com/repos/uwdb/Cosette/events","assignees_url":"https://api.github.com/repos/uwdb/Cosette/assignees{/user}","branches_url":"https://api.github.com/repos/uwdb/Cosette/branches{/branch}","tags_url":"https://api.github.com/repos/uwdb/Cosette/tags","blobs_url":"https://api.github.com/repos/uwdb/Cosette/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/uwdb/Cosette/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/uwdb/Cosette/git/refs{/sha}","trees_url":"https://api.github.com/repos/uwdb/Cosette/git/trees{/sha}","statuses_url":"https://api.github.com/repos/uwdb/Cosette/statuses/{sha}","languages_url":"https://api.github.com/repos/uwdb/Cosette/languages","stargazers_url":"https://api.github.com/repos/uwdb/Cosette/stargazers","contributors_url":"https://api.github.com/repos/uwdb/Cosette/contributors","subscribers_url":"https://api.github.com/repos/uwdb/Cosette/subscribers","subscription_url":"https://api.github.com/repos/uwdb/Cosette/subscription","commits_url":"https://api.github.com/repos/uwdb/Cosette/commits{/sha}","git_commits_url":"https://api.github.com/repos/uwdb/Cosette/git/commits{/sha}","comments_url":"https://api.github.com/repos/uwdb/Cosette/comments{/number}","issue_comment_url":"https://api.github.com/repos/uwdb/Cosette/issues/comments{/number}","contents_url":"https://api.github.com/repos/uwdb/Cosette/contents/{+path}","compare_url":"https://api.github.com/repos/uwdb/Cosette/compare/{base}...{head}","merges_url":"https://api.github.com/repos/uwdb/Cosette/merges","archive_url":"https://api.github.com/repos/uwdb/Cosette/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/uwdb/Cosette/downloads","issues_url":"https://api.github.com/repos/uwdb/Cosette/issues{/number}","pulls_url":"https://api.github.com/repos/uwdb/Cosette/pulls{/number}","milestones_url":"https://api.github.com/repos/uwdb/Cosette/milestones{/number}","notifications_url":"https://api.github.com/repos/uwdb/Cosette/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/uwdb/Cosette/labels{/name}","releases_url":"https://api.github.com/repos/uwdb/Cosette/releases{/id}","deployments_url":"https://api.github.com/repos/uwdb/Cosette/deployments","created_at":"2016-07-21T03:45:45Z","updated_at":"2026-09-21T20:15:24Z","pushed_at":"2024-12-18T06:03:06Z","git_url":"git://github.com/uwdb/Cosette.git","ssh_url":"git@github.com:uwdb/Cosette.git","clone_url":"https://github.com/uwdb/Cosette.git","svn_url":"https://github.com/uwdb/Cosette","homepage":"","size":5825,"stargazers_count":687,"watchers_count":687,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":57,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":27,"license":{"key":"bsd-2-clause","name":"BSD 2-Clause \"Simplified\" License","spdx_id":"BSD-2-Clause","url":"https://api.github.com/licenses/bsd-2-clause","node_id":"MDc6TGljZW5zZTQ="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["coq","database","rosette","sql","verification"],"visibility":"public","forks":57,"open_issues":27,"watchers":687,"default_branch":"master","score":1.0},{"id":112098494,"node_id":"MDEwOlJlcG9zaXRvcnkxMTIwOTg0OTQ=","name":"smalltt","full_name":"AndrasKovacs/smalltt","private":false,"owner":{"login":"AndrasKovacs","id":1883862,"node_id":"MDQ6VXNlcjE4ODM4NjI=","avatar_url":"https://avatars.githubusercontent.com/u/1883862?v=4","gravatar_id":"","url":"https://api.github.com/users/AndrasKovacs","html_url":"https://github.com/AndrasKovacs","followers_url":"https://api.github.com/users/AndrasKovacs/followers","following_url":"https://api.github.com/users/AndrasKovacs/following{/other_user}","gists_url":"https://api.github.com/users/AndrasKovacs/gists{/gist_id}","starred_url":"https://api.github.com/users/AndrasKovacs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AndrasKovacs/subscriptions","organizations_url":"https://api.github.com/users/AndrasKovacs/orgs","repos_url":"https://api.github.com/users/AndrasKovacs/repos","events_url":"https://api.github.com/users/AndrasKovacs/events{/privacy}","received_events_url":"https://api.github.com/users/AndrasKovacs/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/AndrasKovacs/smalltt","description":"Demo for high-performance type theory elaboration","fork":false,"url":"https://api.github.com/repos/AndrasKovacs/smalltt","forks_url":"https://api.github.com/repos/AndrasKovacs/smalltt/forks","keys_url":"https://api.github.com/repos/AndrasKovacs/smalltt/keys{/key_id}","collaborators_url":"https://api.github.com/repos/AndrasKovacs/smalltt/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/AndrasKovacs/smalltt/teams","hooks_url":"https://api.github.com/repos/AndrasKovacs/smalltt/hooks","issue_events_url":"https://api.github.com/repos/AndrasKovacs/smalltt/issues/events{/number}","events_url":"https://api.github.com/repos/AndrasKovacs/smalltt/events","assignees_url":"https://api.github.com/repos/AndrasKovacs/smalltt/assignees{/user}","branches_url":"https://api.github.com/repos/AndrasKovacs/smalltt/branches{/branch}","tags_url":"https://api.github.com/repos/AndrasKovacs/smalltt/tags","blobs_url":"https://api.github.com/repos/AndrasKovacs/smalltt/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/AndrasKovacs/smalltt/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/AndrasKovacs/smalltt/git/refs{/sha}","trees_url":"https://api.github.com/repos/AndrasKovacs/smalltt/git/trees{/sha}","statuses_url":"https://api.github.com/repos/AndrasKovacs/smalltt/statuses/{sha}","languages_url":"https://api.github.com/repos/AndrasKovacs/smalltt/languages","stargazers_url":"https://api.github.com/repos/AndrasKovacs/smalltt/stargazers","contributors_url":"https://api.github.com/repos/AndrasKovacs/smalltt/contributors","subscribers_url":"https://api.github.com/repos/AndrasKovacs/smalltt/subscribers","subscription_url":"https://api.github.com/repos/AndrasKovacs/smalltt/subscription","commits_url":"https://api.github.com/repos/AndrasKovacs/smalltt/commits{/sha}","git_commits_url":"https://api.github.com/repos/AndrasKovacs/smalltt/git/commits{/sha}","comments_url":"https://api.github.com/repos/AndrasKovacs/smalltt/comments{/number}","issue_comment_url":"https://api.github.com/repos/AndrasKovacs/smalltt/issues/comments{/number}","contents_url":"https://api.github.com/repos/AndrasKovacs/smalltt/contents/{+path}","compare_url":"https://api.github.com/repos/AndrasKovacs/smalltt/compare/{base}...{head}","merges_url":"https://api.github.com/repos/AndrasKovacs/smalltt/merges","archive_url":"https://api.github.com/repos/AndrasKovacs/smalltt/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/AndrasKovacs/smalltt/downloads","issues_url":"https://api.github.com/repos/AndrasKovacs/smalltt/issues{/number}","pulls_url":"https://api.github.com/repos/AndrasKovacs/smalltt/pulls{/number}","milestones_url":"https://api.github.com/repos/AndrasKovacs/smalltt/milestones{/number}","notifications_url":"https://api.github.com/repos/AndrasKovacs/smalltt/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/AndrasKovacs/smalltt/labels{/name}","releases_url":"https://api.github.com/repos/AndrasKovacs/smalltt/releases{/id}","deployments_url":"https://api.github.com/repos/AndrasKovacs/smalltt/deployments","created_at":"2017-11-26T16:30:05Z","updated_at":"2026-10-06T10:26:00Z","pushed_at":"2026-02-02T17:16:19Z","git_url":"git://github.com/AndrasKovacs/smalltt.git","ssh_url":"git@github.com:AndrasKovacs/smalltt.git","clone_url":"https://github.com/AndrasKovacs/smalltt.git","svn_url":"https://github.com/AndrasKovacs/smalltt","homepage":"","size":3220,"stargazers_count":605,"watchers_count":605,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":29,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":29,"open_issues":2,"watchers":605,"default_branch":"master","score":1.0},{"id":863611788,"node_id":"R_kgDOM3mrjA","name":"equational_theories","full_name":"teorth/equational_theories","private":false,"owner":{"login":"teorth","id":199308,"node_id":"MDQ6VXNlcjE5OTMwOA==","avatar_url":"https://avatars.githubusercontent.com/u/199308?v=4","gravatar_id":"","url":"https://api.github.com/users/teorth","html_url":"https://github.com/teorth","followers_url":"https://api.github.com/users/teorth/followers","following_url":"https://api.github.com/users/teorth/following{/other_user}","gists_url":"https://api.github.com/users/teorth/gists{/gist_id}","starred_url":"https://api.github.com/users/teorth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/teorth/subscriptions","organizations_url":"https://api.github.com/users/teorth/orgs","repos_url":"https://api.github.com/users/teorth/repos","events_url":"https://api.github.com/users/teorth/events{/privacy}","received_events_url":"https://api.github.com/users/teorth/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/teorth/equational_theories","description":"A project to map out the relations between different equational theories of Magmas.","fork":false,"url":"https://api.github.com/repos/teorth/equational_theories","forks_url":"https://api.github.com/repos/teorth/equational_theories/forks","keys_url":"https://api.github.com/repos/teorth/equational_theories/keys{/key_id}","collaborators_url":"https://api.github.com/repos/teorth/equational_theories/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/teorth/equational_theories/teams","hooks_url":"https://api.github.com/repos/teorth/equational_theories/hooks","issue_events_url":"https://api.github.com/repos/teorth/equational_theories/issues/events{/number}","events_url":"https://api.github.com/repos/teorth/equational_theories/events","assignees_url":"https://api.github.com/repos/teorth/equational_theories/assignees{/user}","branches_url":"https://api.github.com/repos/teorth/equational_theories/branches{/branch}","tags_url":"https://api.github.com/repos/teorth/equational_theories/tags","blobs_url":"https://api.github.com/repos/teorth/equational_theories/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/teorth/equational_theories/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/teorth/equational_theories/git/refs{/sha}","trees_url":"https://api.github.com/repos/teorth/equational_theories/git/trees{/sha}","statuses_url":"https://api.github.com/repos/teorth/equational_theories/statuses/{sha}","languages_url":"https://api.github.com/repos/teorth/equational_theories/languages","stargazers_url":"https://api.github.com/repos/teorth/equational_theories/stargazers","contributors_url":"https://api.github.com/repos/teorth/equational_theories/contributors","subscribers_url":"https://api.github.com/repos/teorth/equational_theories/subscribers","subscription_url":"https://api.github.com/repos/teorth/equational_theories/subscription","commits_url":"https://api.github.com/repos/teorth/equational_theories/commits{/sha}","git_commits_url":"https://api.github.com/repos/teorth/equational_theories/git/commits{/sha}","comments_url":"https://api.github.com/repos/teorth/equational_theories/comments{/number}","issue_comment_url":"https://api.github.com/repos/teorth/equational_theories/issues/comments{/number}","contents_url":"https://api.github.com/repos/teorth/equational_theories/contents/{+path}","compare_url":"https://api.github.com/repos/teorth/equational_theories/compare/{base}...{head}","merges_url":"https://api.github.com/repos/teorth/equational_theories/merges","archive_url":"https://api.github.com/repos/teorth/equational_theories/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/teorth/equational_theories/downloads","issues_url":"https://api.github.com/repos/teorth/equational_theories/issues{/number}","pulls_url":"https://api.github.com/repos/teorth/equational_theories/pulls{/number}","milestones_url":"https://api.github.com/repos/teorth/equational_theories/milestones{/number}","notifications_url":"https://api.github.com/repos/teorth/equational_theories/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/teorth/equational_theories/labels{/name}","releases_url":"https://api.github.com/repos/teorth/equational_theories/releases{/id}","deployments_url":"https://api.github.com/repos/teorth/equational_theories/deployments","created_at":"2024-09-26T15:39:21Z","updated_at":"2026-10-05T11:56:03Z","pushed_at":"2026-09-12T07:18:05Z","git_url":"git://github.com/teorth/equational_theories.git","ssh_url":"git@github.com:teorth/equational_theories.git","clone_url":"https://github.com/teorth/equational_theories.git","svn_url":"https://github.com/teorth/equational_theories","homepage":"https://teorth.github.io/equational_theories/","size":164655,"stargazers_count":560,"watchers_count":560,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":107,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":31,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":107,"open_issues":31,"watchers":560,"default_branch":"main","score":1.0},{"id":411052875,"node_id":"R_kgDOGIArSw","name":"SciLean","full_name":"lecopivo/SciLean","private":false,"owner":{"login":"lecopivo","id":6596305,"node_id":"MDQ6VXNlcjY1OTYzMDU=","avatar_url":"https://avatars.githubusercontent.com/u/6596305?v=4","gravatar_id":"","url":"https://api.github.com/users/lecopivo","html_url":"https://github.com/lecopivo","followers_url":"https://api.github.com/users/lecopivo/followers","following_url":"https://api.github.com/users/lecopivo/following{/other_user}","gists_url":"https://api.github.com/users/lecopivo/gists{/gist_id}","starred_url":"https://api.github.com/users/lecopivo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lecopivo/subscriptions","organizations_url":"https://api.github.com/users/lecopivo/orgs","repos_url":"https://api.github.com/users/lecopivo/repos","events_url":"https://api.github.com/users/lecopivo/events{/privacy}","received_events_url":"https://api.github.com/users/lecopivo/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/lecopivo/SciLean","description":"Scientific computing in Lean 4","fork":false,"url":"https://api.github.com/repos/lecopivo/SciLean","forks_url":"https://api.github.com/repos/lecopivo/SciLean/forks","keys_url":"https://api.github.com/repos/lecopivo/SciLean/keys{/key_id}","collaborators_url":"https://api.github.com/repos/lecopivo/SciLean/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/lecopivo/SciLean/teams","hooks_url":"https://api.github.com/repos/lecopivo/SciLean/hooks","issue_events_url":"https://api.github.com/repos/lecopivo/SciLean/issues/events{/number}","events_url":"https://api.github.com/repos/lecopivo/SciLean/events","assignees_url":"https://api.github.com/repos/lecopivo/SciLean/assignees{/user}","branches_url":"https://api.github.com/repos/lecopivo/SciLean/branches{/branch}","tags_url":"https://api.github.com/repos/lecopivo/SciLean/tags","blobs_url":"https://api.github.com/repos/lecopivo/SciLean/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/lecopivo/SciLean/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/lecopivo/SciLean/git/refs{/sha}","trees_url":"https://api.github.com/repos/lecopivo/SciLean/git/trees{/sha}","statuses_url":"https://api.github.com/repos/lecopivo/SciLean/statuses/{sha}","languages_url":"https://api.github.com/repos/lecopivo/SciLean/languages","stargazers_url":"https://api.github.com/repos/lecopivo/SciLean/stargazers","contributors_url":"https://api.github.com/repos/lecopivo/SciLean/contributors","subscribers_url":"https://api.github.com/repos/lecopivo/SciLean/subscribers","subscription_url":"https://api.github.com/repos/lecopivo/SciLean/subscription","commits_url":"https://api.github.com/repos/lecopivo/SciLean/commits{/sha}","git_commits_url":"https://api.github.com/repos/lecopivo/SciLean/git/commits{/sha}","comments_url":"https://api.github.com/repos/lecopivo/SciLean/comments{/number}","issue_comment_url":"https://api.github.com/repos/lecopivo/SciLean/issues/comments{/number}","contents_url":"https://api.github.com/repos/lecopivo/SciLean/contents/{+path}","compare_url":"https://api.github.com/repos/lecopivo/SciLean/compare/{base}...{head}","merges_url":"https://api.github.com/repos/lecopivo/SciLean/merges","archive_url":"https://api.github.com/repos/lecopivo/SciLean/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/lecopivo/SciLean/downloads","issues_url":"https://api.github.com/repos/lecopivo/SciLean/issues{/number}","pulls_url":"https://api.github.com/repos/lecopivo/SciLean/pulls{/number}","milestones_url":"https://api.github.com/repos/lecopivo/SciLean/milestones{/number}","notifications_url":"https://api.github.com/repos/lecopivo/SciLean/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/lecopivo/SciLean/labels{/name}","releases_url":"https://api.github.com/repos/lecopivo/SciLean/releases{/id}","deployments_url":"https://api.github.com/repos/lecopivo/SciLean/deployments","created_at":"2021-09-27T21:50:10Z","updated_at":"2026-10-05T07:56:57Z","pushed_at":"2026-02-18T09:43:37Z","git_url":"git://github.com/lecopivo/SciLean.git","ssh_url":"git@github.com:lecopivo/SciLean.git","clone_url":"https://github.com/lecopivo/SciLean.git","svn_url":"https://github.com/lecopivo/SciLean","homepage":"https://lecopivo.github.io/scientific-computing-lean/","size":11334,"stargazers_count":531,"watchers_count":531,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":true,"forks_count":47,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":29,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["lean4","numerical-methods","scientific-computing","symbolic-computation"],"visibility":"public","forks":47,"open_issues":29,"watchers":531,"default_branch":"master","score":1.0},{"id":1304726233,"node_id":"R_kgDOTcSK2Q","name":"CrouzeixConjecture","full_name":"jinshanmu/CrouzeixConjecture","private":false,"owner":{"login":"jinshanmu","id":131363958,"node_id":"U_kgDOB9R0dg","avatar_url":"https://avatars.githubusercontent.com/u/131363958?v=4","gravatar_id":"","url":"https://api.github.com/users/jinshanmu","html_url":"https://github.com/jinshanmu","followers_url":"https://api.github.com/users/jinshanmu/followers","following_url":"https://api.github.com/users/jinshanmu/following{/other_user}","gists_url":"https://api.github.com/users/jinshanmu/gists{/gist_id}","starred_url":"https://api.github.com/users/jinshanmu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jinshanmu/subscriptions","organizations_url":"https://api.github.com/users/jinshanmu/orgs","repos_url":"https://api.github.com/users/jinshanmu/repos","events_url":"https://api.github.com/users/jinshanmu/events{/privacy}","received_events_url":"https://api.github.com/users/jinshanmu/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/jinshanmu/CrouzeixConjecture","description":"Research draft of a candidate proof of Crouzeix's conjecture","fork":false,"url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture","forks_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/forks","keys_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/keys{/key_id}","collaborators_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/teams","hooks_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/hooks","issue_events_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/issues/events{/number}","events_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/events","assignees_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/assignees{/user}","branches_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/branches{/branch}","tags_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/tags","blobs_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/git/refs{/sha}","trees_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/git/trees{/sha}","statuses_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/statuses/{sha}","languages_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/languages","stargazers_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/stargazers","contributors_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/contributors","subscribers_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/subscribers","subscription_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/subscription","commits_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/commits{/sha}","git_commits_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/git/commits{/sha}","comments_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/comments{/number}","issue_comment_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/issues/comments{/number}","contents_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/contents/{+path}","compare_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/compare/{base}...{head}","merges_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/merges","archive_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/downloads","issues_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/issues{/number}","pulls_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/pulls{/number}","milestones_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/milestones{/number}","notifications_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/labels{/name}","releases_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/releases{/id}","deployments_url":"https://api.github.com/repos/jinshanmu/CrouzeixConjecture/deployments","created_at":"2026-07-18T08:15:31Z","updated_at":"2026-10-07T13:16:30Z","pushed_at":"2026-08-16T01:47:28Z","git_url":"git://github.com/jinshanmu/CrouzeixConjecture.git","ssh_url":"git@github.com:jinshanmu/CrouzeixConjecture.git","clone_url":"https://github.com/jinshanmu/CrouzeixConjecture.git","svn_url":"https://github.com/jinshanmu/CrouzeixConjecture","homepage":null,"size":6996,"stargazers_count":531,"watchers_count":531,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":73,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":73,"open_issues":0,"watchers":531,"default_branch":"main","score":1.0},{"id":1020653154,"node_id":"R_kgDOPNXuYg","name":"Seed-Prover","full_name":"ByteDance-Seed/Seed-Prover","private":false,"owner":{"login":"ByteDance-Seed","id":202897071,"node_id":"O_kgDODBf2rw","avatar_url":"https://avatars.githubusercontent.com/u/202897071?v=4","gravatar_id":"","url":"https://api.github.com/users/ByteDance-Seed","html_url":"https://github.com/ByteDance-Seed","followers_url":"https://api.github.com/users/ByteDance-Seed/followers","following_url":"https://api.github.com/users/ByteDance-Seed/following{/other_user}","gists_url":"https://api.github.com/users/ByteDance-Seed/gists{/gist_id}","starred_url":"https://api.github.com/users/ByteDance-Seed/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ByteDance-Seed/subscriptions","organizations_url":"https://api.github.com/users/ByteDance-Seed/orgs","repos_url":"https://api.github.com/users/ByteDance-Seed/repos","events_url":"https://api.github.com/users/ByteDance-Seed/events{/privacy}","received_events_url":"https://api.github.com/users/ByteDance-Seed/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ByteDance-Seed/Seed-Prover","description":null,"fork":false,"url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover","forks_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/forks","keys_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/teams","hooks_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/hooks","issue_events_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/issues/events{/number}","events_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/events","assignees_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/assignees{/user}","branches_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/branches{/branch}","tags_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/tags","blobs_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/git/refs{/sha}","trees_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/statuses/{sha}","languages_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/languages","stargazers_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/stargazers","contributors_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/contributors","subscribers_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/subscribers","subscription_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/subscription","commits_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/commits{/sha}","git_commits_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/git/commits{/sha}","comments_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/comments{/number}","issue_comment_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/issues/comments{/number}","contents_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/contents/{+path}","compare_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/merges","archive_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/downloads","issues_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/issues{/number}","pulls_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/pulls{/number}","milestones_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/milestones{/number}","notifications_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/labels{/name}","releases_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/releases{/id}","deployments_url":"https://api.github.com/repos/ByteDance-Seed/Seed-Prover/deployments","created_at":"2025-07-16T07:37:21Z","updated_at":"2026-10-02T15:14:32Z","pushed_at":"2026-02-13T15:03:35Z","git_url":"git://github.com/ByteDance-Seed/Seed-Prover.git","ssh_url":"git@github.com:ByteDance-Seed/Seed-Prover.git","clone_url":"https://github.com/ByteDance-Seed/Seed-Prover.git","svn_url":"https://github.com/ByteDance-Seed/Seed-Prover","homepage":null,"size":14034,"stargazers_count":442,"watchers_count":442,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":29,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":29,"open_issues":3,"watchers":442,"default_branch":"main","score":1.0},{"id":529900532,"node_id":"R_kgDOH5Wj9A","name":"batteries","full_name":"leanprover-community/batteries","private":false,"owner":{"login":"leanprover-community","id":41703605,"node_id":"MDEyOk9yZ2FuaXphdGlvbjQxNzAzNjA1","avatar_url":"https://avatars.githubusercontent.com/u/41703605?v=4","gravatar_id":"","url":"https://api.github.com/users/leanprover-community","html_url":"https://github.com/leanprover-community","followers_url":"https://api.github.com/users/leanprover-community/followers","following_url":"https://api.github.com/users/leanprover-community/following{/other_user}","gists_url":"https://api.github.com/users/leanprover-community/gists{/gist_id}","starred_url":"https://api.github.com/users/leanprover-community/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leanprover-community/subscriptions","organizations_url":"https://api.github.com/users/leanprover-community/orgs","repos_url":"https://api.github.com/users/leanprover-community/repos","events_url":"https://api.github.com/users/leanprover-community/events{/privacy}","received_events_url":"https://api.github.com/users/leanprover-community/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/leanprover-community/batteries","description":"The \"batteries included\" extended library for the Lean programming language and theorem prover","fork":false,"url":"https://api.github.com/repos/leanprover-community/batteries","forks_url":"https://api.github.com/repos/leanprover-community/batteries/forks","keys_url":"https://api.github.com/repos/leanprover-community/batteries/keys{/key_id}","collaborators_url":"https://api.github.com/repos/leanprover-community/batteries/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/leanprover-community/batteries/teams","hooks_url":"https://api.github.com/repos/leanprover-community/batteries/hooks","issue_events_url":"https://api.github.com/repos/leanprover-community/batteries/issues/events{/number}","events_url":"https://api.github.com/repos/leanprover-community/batteries/events","assignees_url":"https://api.github.com/repos/leanprover-community/batteries/assignees{/user}","branches_url":"https://api.github.com/repos/leanprover-community/batteries/branches{/branch}","tags_url":"https://api.github.com/repos/leanprover-community/batteries/tags","blobs_url":"https://api.github.com/repos/leanprover-community/batteries/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/leanprover-community/batteries/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/leanprover-community/batteries/git/refs{/sha}","trees_url":"https://api.github.com/repos/leanprover-community/batteries/git/trees{/sha}","statuses_url":"https://api.github.com/repos/leanprover-community/batteries/statuses/{sha}","languages_url":"https://api.github.com/repos/leanprover-community/batteries/languages","stargazers_url":"https://api.github.com/repos/leanprover-community/batteries/stargazers","contributors_url":"https://api.github.com/repos/leanprover-community/batteries/contributors","subscribers_url":"https://api.github.com/repos/leanprover-community/batteries/subscribers","subscription_url":"https://api.github.com/repos/leanprover-community/batteries/subscription","commits_url":"https://api.github.com/repos/leanprover-community/batteries/commits{/sha}","git_commits_url":"https://api.github.com/repos/leanprover-community/batteries/git/commits{/sha}","comments_url":"https://api.github.com/repos/leanprover-community/batteries/comments{/number}","issue_comment_url":"https://api.github.com/repos/leanprover-community/batteries/issues/comments{/number}","contents_url":"https://api.github.com/repos/leanprover-community/batteries/contents/{+path}","compare_url":"https://api.github.com/repos/leanprover-community/batteries/compare/{base}...{head}","merges_url":"https://api.github.com/repos/leanprover-community/batteries/merges","archive_url":"https://api.github.com/repos/leanprover-community/batteries/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/leanprover-community/batteries/downloads","issues_url":"https://api.github.com/repos/leanprover-community/batteries/issues{/number}","pulls_url":"https://api.github.com/repos/leanprover-community/batteries/pulls{/number}","milestones_url":"https://api.github.com/repos/leanprover-community/batteries/milestones{/number}","notifications_url":"https://api.github.com/repos/leanprover-community/batteries/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/leanprover-community/batteries/labels{/name}","releases_url":"https://api.github.com/repos/leanprover-community/batteries/releases{/id}","deployments_url":"https://api.github.com/repos/leanprover-community/batteries/deployments","created_at":"2022-08-28T15:23:46Z","updated_at":"2026-10-07T19:53:44Z","pushed_at":"2026-10-07T20:52:47Z","git_url":"git://github.com/leanprover-community/batteries.git","ssh_url":"git@github.com:leanprover-community/batteries.git","clone_url":"https://github.com/leanprover-community/batteries.git","svn_url":"https://github.com/leanprover-community/batteries","homepage":"","size":28268,"stargazers_count":420,"watchers_count":420,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":165,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":95,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["lean","lean4"],"visibility":"public","forks":165,"open_issues":95,"watchers":420,"default_branch":"main","score":1.0},{"id":638003982,"node_id":"R_kgDOJgcrDg","name":"GlimpseOfLean","full_name":"PatrickMassot/GlimpseOfLean","private":false,"owner":{"login":"PatrickMassot","id":14060883,"node_id":"MDQ6VXNlcjE0MDYwODgz","avatar_url":"https://avatars.githubusercontent.com/u/14060883?v=4","gravatar_id":"","url":"https://api.github.com/users/PatrickMassot","html_url":"https://github.com/PatrickMassot","followers_url":"https://api.github.com/users/PatrickMassot/followers","following_url":"https://api.github.com/users/PatrickMassot/following{/other_user}","gists_url":"https://api.github.com/users/PatrickMassot/gists{/gist_id}","starred_url":"https://api.github.com/users/PatrickMassot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PatrickMassot/subscriptions","organizations_url":"https://api.github.com/users/PatrickMassot/orgs","repos_url":"https://api.github.com/users/PatrickMassot/repos","events_url":"https://api.github.com/users/PatrickMassot/events{/privacy}","received_events_url":"https://api.github.com/users/PatrickMassot/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/PatrickMassot/GlimpseOfLean","description":"An introduction to theorem proving in Lean for the impatient.","fork":false,"url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean","forks_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/forks","keys_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/keys{/key_id}","collaborators_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/teams","hooks_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/hooks","issue_events_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/issues/events{/number}","events_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/events","assignees_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/assignees{/user}","branches_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/branches{/branch}","tags_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/tags","blobs_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/git/refs{/sha}","trees_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/git/trees{/sha}","statuses_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/statuses/{sha}","languages_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/languages","stargazers_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/stargazers","contributors_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/contributors","subscribers_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/subscribers","subscription_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/subscription","commits_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/commits{/sha}","git_commits_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/git/commits{/sha}","comments_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/comments{/number}","issue_comment_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/issues/comments{/number}","contents_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/contents/{+path}","compare_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/compare/{base}...{head}","merges_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/merges","archive_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/downloads","issues_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/issues{/number}","pulls_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/pulls{/number}","milestones_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/milestones{/number}","notifications_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/labels{/name}","releases_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/releases{/id}","deployments_url":"https://api.github.com/repos/PatrickMassot/GlimpseOfLean/deployments","created_at":"2023-05-08T22:01:10Z","updated_at":"2026-10-05T00:01:36Z","pushed_at":"2026-04-17T14:06:59Z","git_url":"git://github.com/PatrickMassot/GlimpseOfLean.git","ssh_url":"git@github.com:PatrickMassot/GlimpseOfLean.git","clone_url":"https://github.com/PatrickMassot/GlimpseOfLean.git","svn_url":"https://github.com/PatrickMassot/GlimpseOfLean","homepage":null,"size":320,"stargazers_count":416,"watchers_count":416,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":160,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":4,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":160,"open_issues":4,"watchers":416,"default_branch":"master","score":1.0},{"id":172456790,"node_id":"MDEwOlJlcG9zaXRvcnkxNzI0NTY3OTA=","name":"mm0","full_name":"digama0/mm0","private":false,"owner":{"login":"digama0","id":868588,"node_id":"MDQ6VXNlcjg2ODU4OA==","avatar_url":"https://avatars.githubusercontent.com/u/868588?v=4","gravatar_id":"","url":"https://api.github.com/users/digama0","html_url":"https://github.com/digama0","followers_url":"https://api.github.com/users/digama0/followers","following_url":"https://api.github.com/users/digama0/following{/other_user}","gists_url":"https://api.github.com/users/digama0/gists{/gist_id}","starred_url":"https://api.github.com/users/digama0/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/digama0/subscriptions","organizations_url":"https://api.github.com/users/digama0/orgs","repos_url":"https://api.github.com/users/digama0/repos","events_url":"https://api.github.com/users/digama0/events{/privacy}","received_events_url":"https://api.github.com/users/digama0/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/digama0/mm0","description":"Metamath Zero specification language","fork":false,"url":"https://api.github.com/repos/digama0/mm0","forks_url":"https://api.github.com/repos/digama0/mm0/forks","keys_url":"https://api.github.com/repos/digama0/mm0/keys{/key_id}","collaborators_url":"https://api.github.com/repos/digama0/mm0/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/digama0/mm0/teams","hooks_url":"https://api.github.com/repos/digama0/mm0/hooks","issue_events_url":"https://api.github.com/repos/digama0/mm0/issues/events{/number}","events_url":"https://api.github.com/repos/digama0/mm0/events","assignees_url":"https://api.github.com/repos/digama0/mm0/assignees{/user}","branches_url":"https://api.github.com/repos/digama0/mm0/branches{/branch}","tags_url":"https://api.github.com/repos/digama0/mm0/tags","blobs_url":"https://api.github.com/repos/digama0/mm0/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/digama0/mm0/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/digama0/mm0/git/refs{/sha}","trees_url":"https://api.github.com/repos/digama0/mm0/git/trees{/sha}","statuses_url":"https://api.github.com/repos/digama0/mm0/statuses/{sha}","languages_url":"https://api.github.com/repos/digama0/mm0/languages","stargazers_url":"https://api.github.com/repos/digama0/mm0/stargazers","contributors_url":"https://api.github.com/repos/digama0/mm0/contributors","subscribers_url":"https://api.github.com/repos/digama0/mm0/subscribers","subscription_url":"https://api.github.com/repos/digama0/mm0/subscription","commits_url":"https://api.github.com/repos/digama0/mm0/commits{/sha}","git_commits_url":"https://api.github.com/repos/digama0/mm0/git/commits{/sha}","comments_url":"https://api.github.com/repos/digama0/mm0/comments{/number}","issue_comment_url":"https://api.github.com/repos/digama0/mm0/issues/comments{/number}","contents_url":"https://api.github.com/repos/digama0/mm0/contents/{+path}","compare_url":"https://api.github.com/repos/digama0/mm0/compare/{base}...{head}","merges_url":"https://api.github.com/repos/digama0/mm0/merges","archive_url":"https://api.github.com/repos/digama0/mm0/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/digama0/mm0/downloads","issues_url":"https://api.github.com/repos/digama0/mm0/issues{/number}","pulls_url":"https://api.github.com/repos/digama0/mm0/pulls{/number}","milestones_url":"https://api.github.com/repos/digama0/mm0/milestones{/number}","notifications_url":"https://api.github.com/repos/digama0/mm0/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/digama0/mm0/labels{/name}","releases_url":"https://api.github.com/repos/digama0/mm0/releases{/id}","deployments_url":"https://api.github.com/repos/digama0/mm0/deployments","created_at":"2019-02-25T07:34:19Z","updated_at":"2026-10-04T17:56:38Z","pushed_at":"2026-09-30T20:01:18Z","git_url":"git://github.com/digama0/mm0.git","ssh_url":"git@github.com:digama0/mm0.git","clone_url":"https://github.com/digama0/mm0.git","svn_url":"https://github.com/digama0/mm0","homepage":null,"size":35476,"stargazers_count":415,"watchers_count":415,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":true,"forks_count":59,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":42,"license":{"key":"cc0-1.0","name":"Creative Commons Zero v1.0 Universal","spdx_id":"CC0-1.0","url":"https://api.github.com/licenses/cc0-1.0","node_id":"MDc6TGljZW5zZTY="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":59,"open_issues":42,"watchers":415,"default_branch":"master","score":1.0},{"id":372832100,"node_id":"MDEwOlJlcG9zaXRvcnkzNzI4MzIxMDA=","name":"aesop","full_name":"leanprover-community/aesop","private":false,"owner":{"login":"leanprover-community","id":41703605,"node_id":"MDEyOk9yZ2FuaXphdGlvbjQxNzAzNjA1","avatar_url":"https://avatars.githubusercontent.com/u/41703605?v=4","gravatar_id":"","url":"https://api.github.com/users/leanprover-community","html_url":"https://github.com/leanprover-community","followers_url":"https://api.github.com/users/leanprover-community/followers","following_url":"https://api.github.com/users/leanprover-community/following{/other_user}","gists_url":"https://api.github.com/users/leanprover-community/gists{/gist_id}","starred_url":"https://api.github.com/users/leanprover-community/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leanprover-community/subscriptions","organizations_url":"https://api.github.com/users/leanprover-community/orgs","repos_url":"https://api.github.com/users/leanprover-community/repos","events_url":"https://api.github.com/users/leanprover-community/events{/privacy}","received_events_url":"https://api.github.com/users/leanprover-community/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/leanprover-community/aesop","description":"White-box automation for Lean 4","fork":false,"url":"https://api.github.com/repos/leanprover-community/aesop","forks_url":"https://api.github.com/repos/leanprover-community/aesop/forks","keys_url":"https://api.github.com/repos/leanprover-community/aesop/keys{/key_id}","collaborators_url":"https://api.github.com/repos/leanprover-community/aesop/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/leanprover-community/aesop/teams","hooks_url":"https://api.github.com/repos/leanprover-community/aesop/hooks","issue_events_url":"https://api.github.com/repos/leanprover-community/aesop/issues/events{/number}","events_url":"https://api.github.com/repos/leanprover-community/aesop/events","assignees_url":"https://api.github.com/repos/leanprover-community/aesop/assignees{/user}","branches_url":"https://api.github.com/repos/leanprover-community/aesop/branches{/branch}","tags_url":"https://api.github.com/repos/leanprover-community/aesop/tags","blobs_url":"https://api.github.com/repos/leanprover-community/aesop/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/leanprover-community/aesop/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/leanprover-community/aesop/git/refs{/sha}","trees_url":"https://api.github.com/repos/leanprover-community/aesop/git/trees{/sha}","statuses_url":"https://api.github.com/repos/leanprover-community/aesop/statuses/{sha}","languages_url":"https://api.github.com/repos/leanprover-community/aesop/languages","stargazers_url":"https://api.github.com/repos/leanprover-community/aesop/stargazers","contributors_url":"https://api.github.com/repos/leanprover-community/aesop/contributors","subscribers_url":"https://api.github.com/repos/leanprover-community/aesop/subscribers","subscription_url":"https://api.github.com/repos/leanprover-community/aesop/subscription","commits_url":"https://api.github.com/repos/leanprover-community/aesop/commits{/sha}","git_commits_url":"https://api.github.com/repos/leanprover-community/aesop/git/commits{/sha}","comments_url":"https://api.github.com/repos/leanprover-community/aesop/comments{/number}","issue_comment_url":"https://api.github.com/repos/leanprover-community/aesop/issues/comments{/number}","contents_url":"https://api.github.com/repos/leanprover-community/aesop/contents/{+path}","compare_url":"https://api.github.com/repos/leanprover-community/aesop/compare/{base}...{head}","merges_url":"https://api.github.com/repos/leanprover-community/aesop/merges","archive_url":"https://api.github.com/repos/leanprover-community/aesop/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/leanprover-community/aesop/downloads","issues_url":"https://api.github.com/repos/leanprover-community/aesop/issues{/number}","pulls_url":"https://api.github.com/repos/leanprover-community/aesop/pulls{/number}","milestones_url":"https://api.github.com/repos/leanprover-community/aesop/milestones{/number}","notifications_url":"https://api.github.com/repos/leanprover-community/aesop/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/leanprover-community/aesop/labels{/name}","releases_url":"https://api.github.com/repos/leanprover-community/aesop/releases{/id}","deployments_url":"https://api.github.com/repos/leanprover-community/aesop/deployments","created_at":"2021-06-01T13:02:59Z","updated_at":"2026-10-07T20:06:54Z","pushed_at":"2026-10-06T14:20:45Z","git_url":"git://github.com/leanprover-community/aesop.git","ssh_url":"git@github.com:leanprover-community/aesop.git","clone_url":"https://github.com/leanprover-community/aesop.git","svn_url":"https://github.com/leanprover-community/aesop","homepage":"","size":4772,"stargazers_count":408,"watchers_count":408,"language":"Lean","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":59,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":51,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["lean4"],"visibility":"public","forks":59,"open_issues":51,"watchers":408,"default_branch":"master","score":1.0},{"id":84832968,"node_id":"MDEwOlJlcG9zaXRvcnk4NDgzMjk2OA==","name":"certigrad","full_name":"dselsam/certigrad","private":false,"owner":{"login":"dselsam","id":4520285,"node_id":"MDQ6VXNlcjQ1MjAyODU=","avatar_url":"https://avatars.githubusercontent.com/u/4520285?v=4","gravatar_id":"","url":"https://api.github.com/users/dselsam","html_url":"https://github.com/dselsam","followers_url":"https://api.github.com/users/dselsam/followers","following_url":"https://api.github.com/users/dselsam/following{/other_user}","gists_url":"https://api.github.com/users/dselsam/gists{/gist_id}","starred_url":"https://api.github.com/users/dselsam/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dselsam/subscriptions","organizations_url":"https://api.github.com/users/dselsam/orgs","repos_url":"https://api.github.com/users/dselsam/repos","events_url":"https://api.github.com/users/dselsam/events{/privacy}","received_events_url":"https://api.github.com/users/dselsam/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/dselsam/certigrad","description":"Bug-free machine learning on stochastic computation graphs","fork":false,"url":"https://api.github.com/repos/dselsam/certigrad","forks_url":"https://api.github.com/repos/dselsam/certigrad/forks","keys_url":"https://api.github.com/repos/dselsam/certigrad/keys{/key_id}","collaborators_url":"https://api.github.com/repos/dselsam/certigrad/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/dselsam/certigrad/teams","hooks_url":"https://api.github.com/repos/dselsam/certigrad/hooks","issue_events_url":"https://api.github.com/repos/dselsam/certigrad/issues/events{/number}","events_url":"https://api.github.com/repos/dselsam/certigrad/events","assignees_url":"https://api.github.com/repos/dselsam/certigrad/assignees{/user}","branches_url":"https://api.github.com/repos/dselsam/certigrad/branches{/branch}","tags_url":"https://api.github.com/repos/dselsam/certigrad/tags","blobs_url":"https://api.github.com/repos/dselsam/certigrad/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/dselsam/certigrad/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/dselsam/certigrad/git/refs{/sha}","trees_url":"https://api.github.com/repos/dselsam/certigrad/git/trees{/sha}","statuses_url":"https://api.github.com/repos/dselsam/certigrad/statuses/{sha}","languages_url":"https://api.github.com/repos/dselsam/certigrad/languages","stargazers_url":"https://api.github.com/repos/dselsam/certigrad/stargazers","contributors_url":"https://api.github.com/repos/dselsam/certigrad/contributors","subscribers_url":"https://api.github.com/repos/dselsam/certigrad/subscribers","subscription_url":"https://api.github.com/repos/dselsam/certigrad/subscription","commits_url":"https://api.github.com/repos/dselsam/certigrad/commits{/sha}","git_commits_url":"https://api.github.com/repos/dselsam/certigrad/git/commits{/sha}","comments_url":"https://api.github.com/repos/dselsam/certigrad/comments{/number}","issue_comment_url":"https://api.github.com/repos/dselsam/certigrad/issues/comments{/number}","contents_url":"https://api.github.com/repos/dselsam/certigrad/contents/{+path}","compare_url":"https://api.github.com/repos/dselsam/certigrad/compare/{base}...{head}","merges_url":"https://api.github.com/repos/dselsam/certigrad/merges","archive_url":"https://api.github.com/repos/dselsam/certigrad/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/dselsam/certigrad/downloads","issues_url":"https://api.github.com/repos/dselsam/certigrad/issues{/number}","pulls_url":"https://api.github.com/repos/dselsam/certigrad/pulls{/number}","milestones_url":"https://api.github.com/repos/dselsam/certigrad/milestones{/number}","notifications_url":"https://api.github.com/repos/dselsam/certigrad/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/dselsam/certigrad/labels{/name}","releases_url":"https://api.github.com/repos/dselsam/certigrad/releases{/id}","deployments_url":"https://api.github.com/repos/dselsam/certigrad/deployments","created_at":"2017-03-13T13:59:38Z","updated_at":"2026-08-02T01:20:46Z","pushed_at":"2019-03-03T22:10:27Z","git_url":"git://github.com/dselsam/certigrad.git","ssh_url":"git@github.com:dselsam/certigrad.git","clone_url":"https://github.com/dselsam/certigrad.git","svn_url":"https://github.com/dselsam/certigrad","homepage":"","size":296,"stargazers_count":404,"watchers_count":404,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":36,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["lean","machine-learning","theorem-proving","verification"],"visibility":"public","forks":36,"open_issues":0,"watchers":404,"default_branch":"master","score":1.0},{"id":728109556,"node_id":"R_kgDOK2YR9A","name":"verso","full_name":"leanprover/verso","private":false,"owner":{"login":"leanprover","id":7233018,"node_id":"MDEyOk9yZ2FuaXphdGlvbjcyMzMwMTg=","avatar_url":"https://avatars.githubusercontent.com/u/7233018?v=4","gravatar_id":"","url":"https://api.github.com/users/leanprover","html_url":"https://github.com/leanprover","followers_url":"https://api.github.com/users/leanprover/followers","following_url":"https://api.github.com/users/leanprover/following{/other_user}","gists_url":"https://api.github.com/users/leanprover/gists{/gist_id}","starred_url":"https://api.github.com/users/leanprover/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leanprover/subscriptions","organizations_url":"https://api.github.com/users/leanprover/orgs","repos_url":"https://api.github.com/users/leanprover/repos","events_url":"https://api.github.com/users/leanprover/events{/privacy}","received_events_url":"https://api.github.com/users/leanprover/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/leanprover/verso","description":"Lean documentation authoring tool","fork":false,"url":"https://api.github.com/repos/leanprover/verso","forks_url":"https://api.github.com/repos/leanprover/verso/forks","keys_url":"https://api.github.com/repos/leanprover/verso/keys{/key_id}","collaborators_url":"https://api.github.com/repos/leanprover/verso/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/leanprover/verso/teams","hooks_url":"https://api.github.com/repos/leanprover/verso/hooks","issue_events_url":"https://api.github.com/repos/leanprover/verso/issues/events{/number}","events_url":"https://api.github.com/repos/leanprover/verso/events","assignees_url":"https://api.github.com/repos/leanprover/verso/assignees{/user}","branches_url":"https://api.github.com/repos/leanprover/verso/branches{/branch}","tags_url":"https://api.github.com/repos/leanprover/verso/tags","blobs_url":"https://api.github.com/repos/leanprover/verso/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/leanprover/verso/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/leanprover/verso/git/refs{/sha}","trees_url":"https://api.github.com/repos/leanprover/verso/git/trees{/sha}","statuses_url":"https://api.github.com/repos/leanprover/verso/statuses/{sha}","languages_url":"https://api.github.com/repos/leanprover/verso/languages","stargazers_url":"https://api.github.com/repos/leanprover/verso/stargazers","contributors_url":"https://api.github.com/repos/leanprover/verso/contributors","subscribers_url":"https://api.github.com/repos/leanprover/verso/subscribers","subscription_url":"https://api.github.com/repos/leanprover/verso/subscription","commits_url":"https://api.github.com/repos/leanprover/verso/commits{/sha}","git_commits_url":"https://api.github.com/repos/leanprover/verso/git/commits{/sha}","comments_url":"https://api.github.com/repos/leanprover/verso/comments{/number}","issue_comment_url":"https://api.github.com/repos/leanprover/verso/issues/comments{/number}","contents_url":"https://api.github.com/repos/leanprover/verso/contents/{+path}","compare_url":"https://api.github.com/repos/leanprover/verso/compare/{base}...{head}","merges_url":"https://api.github.com/repos/leanprover/verso/merges","archive_url":"https://api.github.com/repos/leanprover/verso/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/leanprover/verso/downloads","issues_url":"https://api.github.com/repos/leanprover/verso/issues{/number}","pulls_url":"https://api.github.com/repos/leanprover/verso/pulls{/number}","milestones_url":"https://api.github.com/repos/leanprover/verso/milestones{/number}","notifications_url":"https://api.github.com/repos/leanprover/verso/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/leanprover/verso/labels{/name}","releases_url":"https://api.github.com/repos/leanprover/verso/releases{/id}","deployments_url":"https://api.github.com/repos/leanprover/verso/deployments","created_at":"2023-12-06T08:49:17Z","updated_at":"2026-10-06T15:36:49Z","pushed_at":"2026-10-06T16:07:22Z","git_url":"git://github.com/leanprover/verso.git","ssh_url":"git@github.com:leanprover/verso.git","clone_url":"https://github.com/leanprover/verso.git","svn_url":"https://github.com/leanprover/verso","homepage":"https://verso.lean-lang.org/","size":17300,"stargazers_count":395,"watchers_count":395,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":124,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":89,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":124,"open_issues":89,"watchers":395,"default_branch":"main","score":1.0},{"id":632549439,"node_id":"R_kgDOJbPwPw","name":"NNG4","full_name":"leanprover-community/NNG4","private":false,"owner":{"login":"leanprover-community","id":41703605,"node_id":"MDEyOk9yZ2FuaXphdGlvbjQxNzAzNjA1","avatar_url":"https://avatars.githubusercontent.com/u/41703605?v=4","gravatar_id":"","url":"https://api.github.com/users/leanprover-community","html_url":"https://github.com/leanprover-community","followers_url":"https://api.github.com/users/leanprover-community/followers","following_url":"https://api.github.com/users/leanprover-community/following{/other_user}","gists_url":"https://api.github.com/users/leanprover-community/gists{/gist_id}","starred_url":"https://api.github.com/users/leanprover-community/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leanprover-community/subscriptions","organizations_url":"https://api.github.com/users/leanprover-community/orgs","repos_url":"https://api.github.com/users/leanprover-community/repos","events_url":"https://api.github.com/users/leanprover-community/events{/privacy}","received_events_url":"https://api.github.com/users/leanprover-community/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/leanprover-community/NNG4","description":"Natural Number Game","fork":false,"url":"https://api.github.com/repos/leanprover-community/NNG4","forks_url":"https://api.github.com/repos/leanprover-community/NNG4/forks","keys_url":"https://api.github.com/repos/leanprover-community/NNG4/keys{/key_id}","collaborators_url":"https://api.github.com/repos/leanprover-community/NNG4/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/leanprover-community/NNG4/teams","hooks_url":"https://api.github.com/repos/leanprover-community/NNG4/hooks","issue_events_url":"https://api.github.com/repos/leanprover-community/NNG4/issues/events{/number}","events_url":"https://api.github.com/repos/leanprover-community/NNG4/events","assignees_url":"https://api.github.com/repos/leanprover-community/NNG4/assignees{/user}","branches_url":"https://api.github.com/repos/leanprover-community/NNG4/branches{/branch}","tags_url":"https://api.github.com/repos/leanprover-community/NNG4/tags","blobs_url":"https://api.github.com/repos/leanprover-community/NNG4/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/leanprover-community/NNG4/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/leanprover-community/NNG4/git/refs{/sha}","trees_url":"https://api.github.com/repos/leanprover-community/NNG4/git/trees{/sha}","statuses_url":"https://api.github.com/repos/leanprover-community/NNG4/statuses/{sha}","languages_url":"https://api.github.com/repos/leanprover-community/NNG4/languages","stargazers_url":"https://api.github.com/repos/leanprover-community/NNG4/stargazers","contributors_url":"https://api.github.com/repos/leanprover-community/NNG4/contributors","subscribers_url":"https://api.github.com/repos/leanprover-community/NNG4/subscribers","subscription_url":"https://api.github.com/repos/leanprover-community/NNG4/subscription","commits_url":"https://api.github.com/repos/leanprover-community/NNG4/commits{/sha}","git_commits_url":"https://api.github.com/repos/leanprover-community/NNG4/git/commits{/sha}","comments_url":"https://api.github.com/repos/leanprover-community/NNG4/comments{/number}","issue_comment_url":"https://api.github.com/repos/leanprover-community/NNG4/issues/comments{/number}","contents_url":"https://api.github.com/repos/leanprover-community/NNG4/contents/{+path}","compare_url":"https://api.github.com/repos/leanprover-community/NNG4/compare/{base}...{head}","merges_url":"https://api.github.com/repos/leanprover-community/NNG4/merges","archive_url":"https://api.github.com/repos/leanprover-community/NNG4/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/leanprover-community/NNG4/downloads","issues_url":"https://api.github.com/repos/leanprover-community/NNG4/issues{/number}","pulls_url":"https://api.github.com/repos/leanprover-community/NNG4/pulls{/number}","milestones_url":"https://api.github.com/repos/leanprover-community/NNG4/milestones{/number}","notifications_url":"https://api.github.com/repos/leanprover-community/NNG4/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/leanprover-community/NNG4/labels{/name}","releases_url":"https://api.github.com/repos/leanprover-community/NNG4/releases{/id}","deployments_url":"https://api.github.com/repos/leanprover-community/NNG4/deployments","created_at":"2023-04-25T16:28:58Z","updated_at":"2026-10-05T17:32:13Z","pushed_at":"2026-10-05T17:32:07Z","git_url":"git://github.com/leanprover-community/NNG4.git","ssh_url":"git@github.com:leanprover-community/NNG4.git","clone_url":"https://github.com/leanprover-community/NNG4.git","svn_url":"https://github.com/leanprover-community/NNG4","homepage":"https://adam.math.hhu.de","size":1997,"stargazers_count":380,"watchers_count":380,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":93,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":61,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["lean4"],"visibility":"public","forks":93,"open_issues":61,"watchers":380,"default_branch":"main","score":1.0},{"id":741114668,"node_id":"R_kgDOLCyDLA","name":"PrimeNumberTheoremAnd","full_name":"AlexKontorovich/PrimeNumberTheoremAnd","private":false,"owner":{"login":"AlexKontorovich","id":58564076,"node_id":"MDQ6VXNlcjU4NTY0MDc2","avatar_url":"https://avatars.githubusercontent.com/u/58564076?v=4","gravatar_id":"","url":"https://api.github.com/users/AlexKontorovich","html_url":"https://github.com/AlexKontorovich","followers_url":"https://api.github.com/users/AlexKontorovich/followers","following_url":"https://api.github.com/users/AlexKontorovich/following{/other_user}","gists_url":"https://api.github.com/users/AlexKontorovich/gists{/gist_id}","starred_url":"https://api.github.com/users/AlexKontorovich/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AlexKontorovich/subscriptions","organizations_url":"https://api.github.com/users/AlexKontorovich/orgs","repos_url":"https://api.github.com/users/AlexKontorovich/repos","events_url":"https://api.github.com/users/AlexKontorovich/events{/privacy}","received_events_url":"https://api.github.com/users/AlexKontorovich/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/AlexKontorovich/PrimeNumberTheoremAnd","description":"Blueprint for the PNT+ Project","fork":false,"url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd","forks_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/forks","keys_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/keys{/key_id}","collaborators_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/teams","hooks_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/hooks","issue_events_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/issues/events{/number}","events_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/events","assignees_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/assignees{/user}","branches_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/branches{/branch}","tags_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/tags","blobs_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/git/refs{/sha}","trees_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/git/trees{/sha}","statuses_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/statuses/{sha}","languages_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/languages","stargazers_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/stargazers","contributors_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/contributors","subscribers_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/subscribers","subscription_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/subscription","commits_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/commits{/sha}","git_commits_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/git/commits{/sha}","comments_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/comments{/number}","issue_comment_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/issues/comments{/number}","contents_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/contents/{+path}","compare_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/compare/{base}...{head}","merges_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/merges","archive_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/downloads","issues_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/issues{/number}","pulls_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/pulls{/number}","milestones_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/milestones{/number}","notifications_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/labels{/name}","releases_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/releases{/id}","deployments_url":"https://api.github.com/repos/AlexKontorovich/PrimeNumberTheoremAnd/deployments","created_at":"2024-01-09T18:15:43Z","updated_at":"2026-10-01T03:32:03Z","pushed_at":"2026-10-02T10:53:21Z","git_url":"git://github.com/AlexKontorovich/PrimeNumberTheoremAnd.git","ssh_url":"git@github.com:AlexKontorovich/PrimeNumberTheoremAnd.git","clone_url":"https://github.com/AlexKontorovich/PrimeNumberTheoremAnd.git","svn_url":"https://github.com/AlexKontorovich/PrimeNumberTheoremAnd","homepage":"https://alexkontorovich.github.io/PrimeNumberTheoremAnd/","size":9510,"stargazers_count":348,"watchers_count":348,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":120,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":53,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":120,"open_issues":53,"watchers":348,"default_branch":"main","score":1.0},{"id":905336586,"node_id":"R_kgDONfZXCg","name":"ArkLib","full_name":"Verified-zkEVM/ArkLib","private":false,"owner":{"login":"Verified-zkEVM","id":179644061,"node_id":"O_kgDOCrUmnQ","avatar_url":"https://avatars.githubusercontent.com/u/179644061?v=4","gravatar_id":"","url":"https://api.github.com/users/Verified-zkEVM","html_url":"https://github.com/Verified-zkEVM","followers_url":"https://api.github.com/users/Verified-zkEVM/followers","following_url":"https://api.github.com/users/Verified-zkEVM/following{/other_user}","gists_url":"https://api.github.com/users/Verified-zkEVM/gists{/gist_id}","starred_url":"https://api.github.com/users/Verified-zkEVM/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Verified-zkEVM/subscriptions","organizations_url":"https://api.github.com/users/Verified-zkEVM/orgs","repos_url":"https://api.github.com/users/Verified-zkEVM/repos","events_url":"https://api.github.com/users/Verified-zkEVM/events{/privacy}","received_events_url":"https://api.github.com/users/Verified-zkEVM/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Verified-zkEVM/ArkLib","description":"Formally Verified Arguments of Knowledge in Lean","fork":false,"url":"https://api.github.com/repos/Verified-zkEVM/ArkLib","forks_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/forks","keys_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/teams","hooks_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/hooks","issue_events_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/issues/events{/number}","events_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/events","assignees_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/assignees{/user}","branches_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/branches{/branch}","tags_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/tags","blobs_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/git/refs{/sha}","trees_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/statuses/{sha}","languages_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/languages","stargazers_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/stargazers","contributors_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/contributors","subscribers_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/subscribers","subscription_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/subscription","commits_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/commits{/sha}","git_commits_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/git/commits{/sha}","comments_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/comments{/number}","issue_comment_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/issues/comments{/number}","contents_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/contents/{+path}","compare_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/merges","archive_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/downloads","issues_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/issues{/number}","pulls_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/pulls{/number}","milestones_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/milestones{/number}","notifications_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/labels{/name}","releases_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/releases{/id}","deployments_url":"https://api.github.com/repos/Verified-zkEVM/ArkLib/deployments","created_at":"2024-12-18T16:10:14Z","updated_at":"2026-10-08T03:47:50Z","pushed_at":"2026-10-08T03:48:58Z","git_url":"git://github.com/Verified-zkEVM/ArkLib.git","ssh_url":"git@github.com:Verified-zkEVM/ArkLib.git","clone_url":"https://github.com/Verified-zkEVM/ArkLib.git","svn_url":"https://github.com/Verified-zkEVM/ArkLib","homepage":"http://verified-zkevm.github.io/ArkLib/","size":81182,"stargazers_count":345,"watchers_count":345,"language":"Lean","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":true,"forks_count":116,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":67,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["formal-verification","lean","lean4","snark","zero-knowledge","zk"],"visibility":"public","forks":116,"open_issues":67,"watchers":345,"default_branch":"main","score":1.0},{"id":53976468,"node_id":"MDEwOlJlcG9zaXRvcnk1Mzk3NjQ2OA==","name":"electrolysis","full_name":"Kha/electrolysis","private":false,"owner":{"login":"Kha","id":109126,"node_id":"MDQ6VXNlcjEwOTEyNg==","avatar_url":"https://avatars.githubusercontent.com/u/109126?v=4","gravatar_id":"","url":"https://api.github.com/users/Kha","html_url":"https://github.com/Kha","followers_url":"https://api.github.com/users/Kha/followers","following_url":"https://api.github.com/users/Kha/following{/other_user}","gists_url":"https://api.github.com/users/Kha/gists{/gist_id}","starred_url":"https://api.github.com/users/Kha/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Kha/subscriptions","organizations_url":"https://api.github.com/users/Kha/orgs","repos_url":"https://api.github.com/users/Kha/repos","events_url":"https://api.github.com/users/Kha/events{/privacy}","received_events_url":"https://api.github.com/users/Kha/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Kha/electrolysis","description":"Simple verification of Rust programs via functional purification in Lean 2(!)","fork":false,"url":"https://api.github.com/repos/Kha/electrolysis","forks_url":"https://api.github.com/repos/Kha/electrolysis/forks","keys_url":"https://api.github.com/repos/Kha/electrolysis/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Kha/electrolysis/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Kha/electrolysis/teams","hooks_url":"https://api.github.com/repos/Kha/electrolysis/hooks","issue_events_url":"https://api.github.com/repos/Kha/electrolysis/issues/events{/number}","events_url":"https://api.github.com/repos/Kha/electrolysis/events","assignees_url":"https://api.github.com/repos/Kha/electrolysis/assignees{/user}","branches_url":"https://api.github.com/repos/Kha/electrolysis/branches{/branch}","tags_url":"https://api.github.com/repos/Kha/electrolysis/tags","blobs_url":"https://api.github.com/repos/Kha/electrolysis/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Kha/electrolysis/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Kha/electrolysis/git/refs{/sha}","trees_url":"https://api.github.com/repos/Kha/electrolysis/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Kha/electrolysis/statuses/{sha}","languages_url":"https://api.github.com/repos/Kha/electrolysis/languages","stargazers_url":"https://api.github.com/repos/Kha/electrolysis/stargazers","contributors_url":"https://api.github.com/repos/Kha/electrolysis/contributors","subscribers_url":"https://api.github.com/repos/Kha/electrolysis/subscribers","subscription_url":"https://api.github.com/repos/Kha/electrolysis/subscription","commits_url":"https://api.github.com/repos/Kha/electrolysis/commits{/sha}","git_commits_url":"https://api.github.com/repos/Kha/electrolysis/git/commits{/sha}","comments_url":"https://api.github.com/repos/Kha/electrolysis/comments{/number}","issue_comment_url":"https://api.github.com/repos/Kha/electrolysis/issues/comments{/number}","contents_url":"https://api.github.com/repos/Kha/electrolysis/contents/{+path}","compare_url":"https://api.github.com/repos/Kha/electrolysis/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Kha/electrolysis/merges","archive_url":"https://api.github.com/repos/Kha/electrolysis/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Kha/electrolysis/downloads","issues_url":"https://api.github.com/repos/Kha/electrolysis/issues{/number}","pulls_url":"https://api.github.com/repos/Kha/electrolysis/pulls{/number}","milestones_url":"https://api.github.com/repos/Kha/electrolysis/milestones{/number}","notifications_url":"https://api.github.com/repos/Kha/electrolysis/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Kha/electrolysis/labels{/name}","releases_url":"https://api.github.com/repos/Kha/electrolysis/releases{/id}","deployments_url":"https://api.github.com/repos/Kha/electrolysis/deployments","created_at":"2016-03-15T20:31:53Z","updated_at":"2026-07-27T15:41:16Z","pushed_at":"2017-03-06T09:41:13Z","git_url":"git://github.com/Kha/electrolysis.git","ssh_url":"git@github.com:Kha/electrolysis.git","clone_url":"https://github.com/Kha/electrolysis.git","svn_url":"https://github.com/Kha/electrolysis","homepage":"","size":2765,"stargazers_count":340,"watchers_count":340,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":8,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":3,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":8,"open_issues":3,"watchers":340,"default_branch":"master","score":1.0},{"id":736680671,"node_id":"R_kgDOK-ja3w","name":"concrete","full_name":"lambdaclass/concrete","private":false,"owner":{"login":"lambdaclass","id":6535196,"node_id":"MDEyOk9yZ2FuaXphdGlvbjY1MzUxOTY=","avatar_url":"https://avatars.githubusercontent.com/u/6535196?v=4","gravatar_id":"","url":"https://api.github.com/users/lambdaclass","html_url":"https://github.com/lambdaclass","followers_url":"https://api.github.com/users/lambdaclass/followers","following_url":"https://api.github.com/users/lambdaclass/following{/other_user}","gists_url":"https://api.github.com/users/lambdaclass/gists{/gist_id}","starred_url":"https://api.github.com/users/lambdaclass/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lambdaclass/subscriptions","organizations_url":"https://api.github.com/users/lambdaclass/orgs","repos_url":"https://api.github.com/users/lambdaclass/repos","events_url":"https://api.github.com/users/lambdaclass/events{/privacy}","received_events_url":"https://api.github.com/users/lambdaclass/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/lambdaclass/concrete","description":"Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.","fork":false,"url":"https://api.github.com/repos/lambdaclass/concrete","forks_url":"https://api.github.com/repos/lambdaclass/concrete/forks","keys_url":"https://api.github.com/repos/lambdaclass/concrete/keys{/key_id}","collaborators_url":"https://api.github.com/repos/lambdaclass/concrete/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/lambdaclass/concrete/teams","hooks_url":"https://api.github.com/repos/lambdaclass/concrete/hooks","issue_events_url":"https://api.github.com/repos/lambdaclass/concrete/issues/events{/number}","events_url":"https://api.github.com/repos/lambdaclass/concrete/events","assignees_url":"https://api.github.com/repos/lambdaclass/concrete/assignees{/user}","branches_url":"https://api.github.com/repos/lambdaclass/concrete/branches{/branch}","tags_url":"https://api.github.com/repos/lambdaclass/concrete/tags","blobs_url":"https://api.github.com/repos/lambdaclass/concrete/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/lambdaclass/concrete/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/lambdaclass/concrete/git/refs{/sha}","trees_url":"https://api.github.com/repos/lambdaclass/concrete/git/trees{/sha}","statuses_url":"https://api.github.com/repos/lambdaclass/concrete/statuses/{sha}","languages_url":"https://api.github.com/repos/lambdaclass/concrete/languages","stargazers_url":"https://api.github.com/repos/lambdaclass/concrete/stargazers","contributors_url":"https://api.github.com/repos/lambdaclass/concrete/contributors","subscribers_url":"https://api.github.com/repos/lambdaclass/concrete/subscribers","subscription_url":"https://api.github.com/repos/lambdaclass/concrete/subscription","commits_url":"https://api.github.com/repos/lambdaclass/concrete/commits{/sha}","git_commits_url":"https://api.github.com/repos/lambdaclass/concrete/git/commits{/sha}","comments_url":"https://api.github.com/repos/lambdaclass/concrete/comments{/number}","issue_comment_url":"https://api.github.com/repos/lambdaclass/concrete/issues/comments{/number}","contents_url":"https://api.github.com/repos/lambdaclass/concrete/contents/{+path}","compare_url":"https://api.github.com/repos/lambdaclass/concrete/compare/{base}...{head}","merges_url":"https://api.github.com/repos/lambdaclass/concrete/merges","archive_url":"https://api.github.com/repos/lambdaclass/concrete/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/lambdaclass/concrete/downloads","issues_url":"https://api.github.com/repos/lambdaclass/concrete/issues{/number}","pulls_url":"https://api.github.com/repos/lambdaclass/concrete/pulls{/number}","milestones_url":"https://api.github.com/repos/lambdaclass/concrete/milestones{/number}","notifications_url":"https://api.github.com/repos/lambdaclass/concrete/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/lambdaclass/concrete/labels{/name}","releases_url":"https://api.github.com/repos/lambdaclass/concrete/releases{/id}","deployments_url":"https://api.github.com/repos/lambdaclass/concrete/deployments","created_at":"2023-12-28T15:10:17Z","updated_at":"2026-10-07T19:34:37Z","pushed_at":"2026-10-07T19:34:31Z","git_url":"git://github.com/lambdaclass/concrete.git","ssh_url":"git@github.com:lambdaclass/concrete.git","clone_url":"https://github.com/lambdaclass/concrete.git","svn_url":"https://github.com/lambdaclass/concrete","homepage":"https://lambdaclass.github.io/concrete/","size":25002,"stargazers_count":338,"watchers_count":338,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":true,"forks_count":20,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":94,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["mlir","programming-language"],"visibility":"public","forks":20,"open_issues":94,"watchers":338,"default_branch":"main","score":1.0},{"id":1050822358,"node_id":"R_kgDOPqJG1g","name":"strongpnt","full_name":"math-inc/strongpnt","private":false,"owner":{"login":"math-inc","id":230477222,"node_id":"O_kgDODbzNpg","avatar_url":"https://avatars.githubusercontent.com/u/230477222?v=4","gravatar_id":"","url":"https://api.github.com/users/math-inc","html_url":"https://github.com/math-inc","followers_url":"https://api.github.com/users/math-inc/followers","following_url":"https://api.github.com/users/math-inc/following{/other_user}","gists_url":"https://api.github.com/users/math-inc/gists{/gist_id}","starred_url":"https://api.github.com/users/math-inc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/math-inc/subscriptions","organizations_url":"https://api.github.com/users/math-inc/orgs","repos_url":"https://api.github.com/users/math-inc/repos","events_url":"https://api.github.com/users/math-inc/events{/privacy}","received_events_url":"https://api.github.com/users/math-inc/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/math-inc/strongpnt","description":null,"fork":false,"url":"https://api.github.com/repos/math-inc/strongpnt","forks_url":"https://api.github.com/repos/math-inc/strongpnt/forks","keys_url":"https://api.github.com/repos/math-inc/strongpnt/keys{/key_id}","collaborators_url":"https://api.github.com/repos/math-inc/strongpnt/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/math-inc/strongpnt/teams","hooks_url":"https://api.github.com/repos/math-inc/strongpnt/hooks","issue_events_url":"https://api.github.com/repos/math-inc/strongpnt/issues/events{/number}","events_url":"https://api.github.com/repos/math-inc/strongpnt/events","assignees_url":"https://api.github.com/repos/math-inc/strongpnt/assignees{/user}","branches_url":"https://api.github.com/repos/math-inc/strongpnt/branches{/branch}","tags_url":"https://api.github.com/repos/math-inc/strongpnt/tags","blobs_url":"https://api.github.com/repos/math-inc/strongpnt/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/math-inc/strongpnt/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/math-inc/strongpnt/git/refs{/sha}","trees_url":"https://api.github.com/repos/math-inc/strongpnt/git/trees{/sha}","statuses_url":"https://api.github.com/repos/math-inc/strongpnt/statuses/{sha}","languages_url":"https://api.github.com/repos/math-inc/strongpnt/languages","stargazers_url":"https://api.github.com/repos/math-inc/strongpnt/stargazers","contributors_url":"https://api.github.com/repos/math-inc/strongpnt/contributors","subscribers_url":"https://api.github.com/repos/math-inc/strongpnt/subscribers","subscription_url":"https://api.github.com/repos/math-inc/strongpnt/subscription","commits_url":"https://api.github.com/repos/math-inc/strongpnt/commits{/sha}","git_commits_url":"https://api.github.com/repos/math-inc/strongpnt/git/commits{/sha}","comments_url":"https://api.github.com/repos/math-inc/strongpnt/comments{/number}","issue_comment_url":"https://api.github.com/repos/math-inc/strongpnt/issues/comments{/number}","contents_url":"https://api.github.com/repos/math-inc/strongpnt/contents/{+path}","compare_url":"https://api.github.com/repos/math-inc/strongpnt/compare/{base}...{head}","merges_url":"https://api.github.com/repos/math-inc/strongpnt/merges","archive_url":"https://api.github.com/repos/math-inc/strongpnt/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/math-inc/strongpnt/downloads","issues_url":"https://api.github.com/repos/math-inc/strongpnt/issues{/number}","pulls_url":"https://api.github.com/repos/math-inc/strongpnt/pulls{/number}","milestones_url":"https://api.github.com/repos/math-inc/strongpnt/milestones{/number}","notifications_url":"https://api.github.com/repos/math-inc/strongpnt/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/math-inc/strongpnt/labels{/name}","releases_url":"https://api.github.com/repos/math-inc/strongpnt/releases{/id}","deployments_url":"https://api.github.com/repos/math-inc/strongpnt/deployments","created_at":"2025-09-05T02:05:14Z","updated_at":"2026-10-05T16:24:43Z","pushed_at":"2025-09-11T06:14:22Z","git_url":"git://github.com/math-inc/strongpnt.git","ssh_url":"git@github.com:math-inc/strongpnt.git","clone_url":"https://github.com/math-inc/strongpnt.git","svn_url":"https://github.com/math-inc/strongpnt","homepage":"https://math-inc.github.io/strongpnt/","size":2201,"stargazers_count":325,"watchers_count":325,"language":"Lean","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":false,"forks_count":22,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":22,"open_issues":1,"watchers":325,"default_branch":"main","score":1.0}]}