René's URL Explorer Experiment


Title: mathlib4 · GitHub Topics · GitHub

Open Graph Title: Build software better, together

X Title: GitHub

Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Open Graph Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

X Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Opengraph URL: https://github.com

X: github

direct link

Domain: github.com

route-pattern/topics/:topic_name(.:format)
route-controllertopics
route-actionshow
fetch-noncev2:29af92ff-2124-ad5c-7219-4a7ce62f7d00
current-catalog-service-hash78339b992060a6a11548e4f18438b88c3ea1eec1b6705962d1fd145365fa2db1
request-idA718:245E0E:A562D2:DBBC8F:6A4C3E85
html-safe-nonce588c5b967e720f2b585aa418cd1c6f39c24b43565636a0ab7c0c85541627b769
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBNzE4OjI0NUUwRTpBNTYyRDI6REJCQzhGOjZBNEMzRTg1IiwidmlzaXRvcl9pZCI6IjUwNjIyNjgwODQyOTY2Mjk4OTMiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac559464d7e561c2f6c5f6d443c0c96ec09b8cc40e37a4148e98125bb4d3c550fb
github-keyboard-shortcutscopilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/topics/mathlib4
og:site_nameGitHub
og:imagehttps://github.githubassets.com/assets/github-octocat-13c86b8b336d.png
og:image:typeimage/png
og:image:width1200
og:image:height620
twitter:site:id13334762
twitter:creatorgithub
twitter:creator:id13334762
twitter:cardsummary_large_image
twitter:imagehttps://github.githubassets.com/assets/github-logo-55c5b9a1fe52.png
twitter:image:width1200
twitter:image:height1200
hostnamegithub.com
expected-hostnamegithub.com
None1b6b16d04026f131a36d57e3b01d0f4d26a51800edf48bf5ed0256e0ac905511
turbo-cache-controlno-preview
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
released11deab54ce15bac57bda991cc63805976812c11
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/topics/mathlib4#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fmathlib4
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fmathlib4
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Fmathlib4&source=header
Reloadhttps://github.com/topics/mathlib4
Reloadhttps://github.com/topics/mathlib4
Reloadhttps://github.com/topics/mathlib4
Explorehttps://github.com/explore
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Eventshttps://github.com/events
GitHub Sponsorshttps://github.com/sponsors/explore
Star https://github.com/login?return_to=%2Ftopic.mathlib4
All 21 https://github.com/topics/mathlib4
Lean 17 https://github.com/topics/mathlib4?l=lean
Python 2 https://github.com/topics/mathlib4?l=python
C++ 1 https://github.com/topics/mathlib4?l=c%2B%2B
HTML 1 https://github.com/topics/mathlib4?l=html
Most stars https://github.com/topics/mathlib4?o=desc&s=stars
Fewest stars https://github.com/topics/mathlib4?o=asc&s=stars
Most forks https://github.com/topics/mathlib4?o=desc&s=forks
Fewest forks https://github.com/topics/mathlib4?o=asc&s=forks
Recently updated https://github.com/topics/mathlib4?o=desc&s=updated
Least recently updated https://github.com/topics/mathlib4?o=asc&s=updated
Robby955https://github.com/Robby955
FormalSLThttps://github.com/Robby955/FormalSLT
Star 55 https://github.com/login?return_to=%2FRobby955%2FFormalSLT
Code https://github.com/Robby955/FormalSLT
Issues https://github.com/Robby955/FormalSLT/issues
Pull requests https://github.com/Robby955/FormalSLT/pulls
machine-learninghttps://github.com/topics/machine-learning
theorem-provinghttps://github.com/topics/theorem-proving
mathematicshttps://github.com/topics/mathematics
statistical-learninghttps://github.com/topics/statistical-learning
formal-verificationhttps://github.com/topics/formal-verification
pac-bayeshttps://github.com/topics/pac-bayes
pac-learninghttps://github.com/topics/pac-learning
lean4https://github.com/topics/lean4
concentration-inequalitieshttps://github.com/topics/concentration-inequalities
mathlib4https://github.com/topics/mathlib4
mathTensorhttps://github.com/mathTensor
AI4Math-Putnam2025https://github.com/mathTensor/AI4Math-Putnam2025
Star 16 https://github.com/login?return_to=%2FmathTensor%2FAI4Math-Putnam2025
Code https://github.com/mathTensor/AI4Math-Putnam2025
Issues https://github.com/mathTensor/AI4Math-Putnam2025/issues
Pull requests https://github.com/mathTensor/AI4Math-Putnam2025/pulls
formal-verificationhttps://github.com/topics/formal-verification
automated-theorem-provinghttps://github.com/topics/automated-theorem-proving
lean4https://github.com/topics/lean4
putnamhttps://github.com/topics/putnam
ai4mathhttps://github.com/topics/ai4math
mathlib4https://github.com/topics/mathlib4
math-benchmarkhttps://github.com/topics/math-benchmark
putnam2025https://github.com/topics/putnam2025
Rickerd1234https://github.com/Rickerd1234
RelationalAlgebrahttps://github.com/Rickerd1234/RelationalAlgebra
Star 7 https://github.com/login?return_to=%2FRickerd1234%2FRelationalAlgebra
Code https://github.com/Rickerd1234/RelationalAlgebra
Issues https://github.com/Rickerd1234/RelationalAlgebra/issues
Pull requests https://github.com/Rickerd1234/RelationalAlgebra/pulls
first-order-logichttps://github.com/topics/first-order-logic
relational-databaseshttps://github.com/topics/relational-databases
relational-modelhttps://github.com/topics/relational-model
mathlibhttps://github.com/topics/mathlib
lean4https://github.com/topics/lean4
relationalalgebrahttps://github.com/topics/relationalalgebra
mathlib4https://github.com/topics/mathlib4
query-equivalencehttps://github.com/topics/query-equivalence
merchantmoh-debughttps://github.com/merchantmoh-debug
-P-NP-Formal-verfication-in-Lean-4https://github.com/merchantmoh-debug/-P-NP-Formal-verfication-in-Lean-4
Sponsor https://github.com/sponsors/merchantmoh-debug
Star 4 https://github.com/login?return_to=%2Fmerchantmoh-debug%2F-P-NP-Formal-verfication-in-Lean-4
Code https://github.com/merchantmoh-debug/-P-NP-Formal-verfication-in-Lean-4
Issues https://github.com/merchantmoh-debug/-P-NP-Formal-verfication-in-Lean-4/issues
Pull requests https://github.com/merchantmoh-debug/-P-NP-Formal-verfication-in-Lean-4/pulls
formal-verificationhttps://github.com/topics/formal-verification
p-vs-nphttps://github.com/topics/p-vs-np
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
spectral-geometryhttps://github.com/topics/spectral-geometry
witten-laplacianhttps://github.com/topics/witten-laplacian
wvhullehttps://github.com/wvhulle
ennreal-arithhttps://github.com/wvhulle/ennreal-arith
Star 4 https://github.com/login?return_to=%2Fwvhulle%2Fennreal-arith
Code https://github.com/wvhulle/ennreal-arith
Issues https://github.com/wvhulle/ennreal-arith/issues
Pull requests https://github.com/wvhulle/ennreal-arith/pulls
probabilityhttps://github.com/topics/probability
mathematicshttps://github.com/topics/mathematics
proof-assistanthttps://github.com/topics/proof-assistant
arithmetichttps://github.com/topics/arithmetic
realhttps://github.com/topics/real
tactichttps://github.com/topics/tactic
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
ennrealhttps://github.com/topics/ennreal
r-irbehttps://github.com/r-irbe
proof-skillshttps://github.com/r-irbe/proof-skills
Star 2 https://github.com/login?return_to=%2Fr-irbe%2Fproof-skills
Code https://github.com/r-irbe/proof-skills
Issues https://github.com/r-irbe/proof-skills/issues
Pull requests https://github.com/r-irbe/proof-skills/pulls
apmhttps://github.com/topics/apm
formal-verificationhttps://github.com/topics/formal-verification
proof-engineeringhttps://github.com/topics/proof-engineering
lean4https://github.com/topics/lean4
agent-skillshttps://github.com/topics/agent-skills
mathlib4https://github.com/topics/mathlib4
chantakanhttps://github.com/chantakan
verified-mbsehttps://github.com/chantakan/verified-mbse
Star 2 https://github.com/login?return_to=%2Fchantakan%2Fverified-mbse
Code https://github.com/chantakan/verified-mbse
Issues https://github.com/chantakan/verified-mbse/issues
Pull requests https://github.com/chantakan/verified-mbse/pulls
dependent-typeshttps://github.com/topics/dependent-types
formal-verificationhttps://github.com/topics/formal-verification
sysmlhttps://github.com/topics/sysml
systems-engineeringhttps://github.com/topics/systems-engineering
mbsehttps://github.com/topics/mbse
model-based-systems-engineeringhttps://github.com/topics/model-based-systems-engineering
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
physicslibhttps://github.com/physicslib
physicslib4https://github.com/physicslib/physicslib4
Star 1 https://github.com/login?return_to=%2Fphysicslib%2Fphysicslib4
Code https://github.com/physicslib/physicslib4
Issues https://github.com/physicslib/physicslib4/issues
Pull requests https://github.com/physicslib/physicslib4/pulls
physicshttps://github.com/topics/physics
qfthttps://github.com/topics/qft
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
aqfthttps://github.com/topics/aqft
lcqfthttps://github.com/topics/lcqft
markkasaurushttps://github.com/markkasaurus
gleason-busch-leanhttps://github.com/markkasaurus/gleason-busch-lean
Star 1 https://github.com/login?return_to=%2Fmarkkasaurus%2Fgleason-busch-lean
Code https://github.com/markkasaurus/gleason-busch-lean
Issues https://github.com/markkasaurus/gleason-busch-lean/issues
Pull requests https://github.com/markkasaurus/gleason-busch-lean/pulls
theorem-provinghttps://github.com/topics/theorem-proving
mathematical-physicshttps://github.com/topics/mathematical-physics
mathlibhttps://github.com/topics/mathlib
quantum-foundationshttps://github.com/topics/quantum-foundations
lean4https://github.com/topics/lean4
formalized-mathematicshttps://github.com/topics/formalized-mathematics
mathlib4https://github.com/topics/mathlib4
gleason-theoremhttps://github.com/topics/gleason-theorem
shuanathttps://github.com/shuanat
collatz-lean4https://github.com/shuanat/collatz-lean4
Star 1 https://github.com/login?return_to=%2Fshuanat%2Fcollatz-lean4
Code https://github.com/shuanat/collatz-lean4
Issues https://github.com/shuanat/collatz-lean4/issues
Pull requests https://github.com/shuanat/collatz-lean4/pulls
formal-verificationhttps://github.com/topics/formal-verification
number-theoryhttps://github.com/topics/number-theory
collatzhttps://github.com/topics/collatz
lean4https://github.com/topics/lean4
zmodhttps://github.com/topics/zmod
mathlib4https://github.com/topics/mathlib4
bkhtmmhttps://github.com/bkhtmm
mathlib4-reviewer-memoryhttps://github.com/bkhtmm/mathlib4-reviewer-memory
Star 1 https://github.com/login?return_to=%2Fbkhtmm%2Fmathlib4-reviewer-memory
Code https://github.com/bkhtmm/mathlib4-reviewer-memory
Issues https://github.com/bkhtmm/mathlib4-reviewer-memory/issues
Pull requests https://github.com/bkhtmm/mathlib4-reviewer-memory/pulls
theorem-provinghttps://github.com/topics/theorem-proving
code-reviewhttps://github.com/topics/code-review
leanhttps://github.com/topics/lean
mathlibhttps://github.com/topics/mathlib
raghttps://github.com/topics/rag
retrieval-augmented-generationhttps://github.com/topics/retrieval-augmented-generation
mathlib4https://github.com/topics/mathlib4
ai-for-mathhttps://github.com/topics/ai-for-math
bobby-101010https://github.com/bobby-101010
uir-foundationshttps://github.com/bobby-101010/uir-foundations
Star 0 https://github.com/login?return_to=%2Fbobby-101010%2Fuir-foundations
Code https://github.com/bobby-101010/uir-foundations
Issues https://github.com/bobby-101010/uir-foundations/issues
Pull requests https://github.com/bobby-101010/uir-foundations/pulls
information-geometryhttps://github.com/topics/information-geometry
spectral-graph-theoryhttps://github.com/topics/spectral-graph-theory
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
mike1729https://github.com/mike1729
goedel-workbook-lean427https://github.com/mike1729/goedel-workbook-lean427
Star 0 https://github.com/login?return_to=%2Fmike1729%2Fgoedel-workbook-lean427
Code https://github.com/mike1729/goedel-workbook-lean427
Issues https://github.com/mike1729/goedel-workbook-lean427/issues
Pull requests https://github.com/mike1729/goedel-workbook-lean427/pulls
theorem-provinghttps://github.com/topics/theorem-proving
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
M-Ismail-ZAhttps://github.com/M-Ismail-ZA
IsmailsGlossaryhttps://github.com/M-Ismail-ZA/IsmailsGlossary
Star 0 https://github.com/login?return_to=%2FM-Ismail-ZA%2FIsmailsGlossary
Code https://github.com/M-Ismail-ZA/IsmailsGlossary
Issues https://github.com/M-Ismail-ZA/IsmailsGlossary/issues
Pull requests https://github.com/M-Ismail-ZA/IsmailsGlossary/pulls
jsonhttps://github.com/topics/json
formal-mathematicshttps://github.com/topics/formal-mathematics
open-educational-resourceshttps://github.com/topics/open-educational-resources
software-documentationhttps://github.com/topics/software-documentation
raghttps://github.com/topics/rag
proof-assistantshttps://github.com/topics/proof-assistants
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
PrParadoxyhttps://github.com/PrParadoxy
HyperNathttps://github.com/PrParadoxy/HyperNat
Star 0 https://github.com/login?return_to=%2FPrParadoxy%2FHyperNat
Code https://github.com/PrParadoxy/HyperNat
Issues https://github.com/PrParadoxy/HyperNat/issues
Pull requests https://github.com/PrParadoxy/HyperNat/pulls
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
idocodinghttps://github.com/idocoding
ast-leanhttps://github.com/idocoding/ast-lean
Star 0 https://github.com/login?return_to=%2Fidocoding%2Fast-lean
Code https://github.com/idocoding/ast-lean
Issues https://github.com/idocoding/ast-lean/issues
Pull requests https://github.com/idocoding/ast-lean/pulls
formal-verificationhttps://github.com/topics/formal-verification
mathematical-physicshttps://github.com/topics/mathematical-physics
quantum-foundationshttps://github.com/topics/quantum-foundations
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
arcticoderhttps://github.com/arcticoder
aqei-bridgehttps://github.com/arcticoder/aqei-bridge
Star 0 https://github.com/login?return_to=%2Farcticoder%2Faqei-bridge
Code https://github.com/arcticoder/aqei-bridge
Issues https://github.com/arcticoder/aqei-bridge/issues
Pull requests https://github.com/arcticoder/aqei-bridge/pulls
formal-verificationhttps://github.com/topics/formal-verification
convex-optimizationhttps://github.com/topics/convex-optimization
interactive-theorem-provinghttps://github.com/topics/interactive-theorem-proving
discrete-geometryhttps://github.com/topics/discrete-geometry
homologyhttps://github.com/topics/homology
order-theoryhttps://github.com/topics/order-theory
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
causal-posetshttps://github.com/topics/causal-posets
quantum-energy-inequalitieshttps://github.com/topics/quantum-energy-inequalities
nathan-albinhttps://github.com/nathan-albin
lean-modulushttps://github.com/nathan-albin/lean-modulus
Star 0 https://github.com/login?return_to=%2Fnathan-albin%2Flean-modulus
Code https://github.com/nathan-albin/lean-modulus
Issues https://github.com/nathan-albin/lean-modulus/issues
Pull requests https://github.com/nathan-albin/lean-modulus/pulls
researchhttps://github.com/topics/research
theorem-provinghttps://github.com/topics/theorem-proving
graph-theoryhttps://github.com/topics/graph-theory
formal-verificationhttps://github.com/topics/formal-verification
lean4https://github.com/topics/lean4
formalized-mathematicshttps://github.com/topics/formalized-mathematics
mathlib4https://github.com/topics/mathlib4
matroid-theoryhttps://github.com/topics/matroid-theory
nicomele1https://github.com/nicomele1
spectral-thm-leanhttps://github.com/nicomele1/spectral-thm-lean
Star 0 https://github.com/login?return_to=%2Fnicomele1%2Fspectral-thm-lean
Code https://github.com/nicomele1/spectral-thm-lean
Issues https://github.com/nicomele1/spectral-thm-lean/issues
Pull requests https://github.com/nicomele1/spectral-thm-lean/pulls
formal-verificationhttps://github.com/topics/formal-verification
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
spectral-theoryhttps://github.com/topics/spectral-theory
tristan-f-rhttps://github.com/tristan-f-r
mathlib4-tacticshttps://github.com/tristan-f-r/mathlib4-tactics
Star 0 https://github.com/login?return_to=%2Ftristan-f-r%2Fmathlib4-tactics
Code https://github.com/tristan-f-r/mathlib4-tactics
Issues https://github.com/tristan-f-r/mathlib4-tactics/issues
Pull requests https://github.com/tristan-f-r/mathlib4-tactics/pulls
lean4https://github.com/topics/lean4
mathlib4https://github.com/topics/mathlib4
Curate this topic https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-mathlib4
Learn more https://docs.github.com/en/articles/classifying-your-repository-with-topics
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.