René's URL Explorer Experiment


Title: mathlib · 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:08e8a474-ff1b-bb82-4bcd-675f56f103e0
current-catalog-service-hash78339b992060a6a11548e4f18438b88c3ea1eec1b6705962d1fd145365fa2db1
request-idC230:1FC1EA:3948BA:4C0036:6A4C2F5D
html-safe-nonce2f0ca1419165f15cd0ad1cda4aae0b6bc300270add2d425c21e2c31cc03a119e
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDMjMwOjFGQzFFQTozOTQ4QkE6NEMwMDM2OjZBNEMyRjVEIiwidmlzaXRvcl9pZCI6IjM0MDE3NjM2ODEwNDEzOTU1NDkiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmacefb0b4f172ae98cd9fad5877fde198daa5cc8a9089d680bca282aee528fb0830
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/mathlib
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
release9ee13484b32cf23e15fde191da4c9aa47d41201c
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/topics/mathlib#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fmathlib
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%2Fmathlib
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Fmathlib&source=header
Reloadhttps://github.com/topics/mathlib
Reloadhttps://github.com/topics/mathlib
Reloadhttps://github.com/topics/mathlib
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.mathlib
All 166 https://github.com/topics/mathlib
Lean 114 https://github.com/topics/mathlib?l=lean
Python 25 https://github.com/topics/mathlib?l=python
HTML 9 https://github.com/topics/mathlib?l=html
C++ 5 https://github.com/topics/mathlib?l=c%2B%2B
C 3 https://github.com/topics/mathlib?l=c
TeX 3 https://github.com/topics/mathlib?l=tex
Jupyter Notebook 2 https://github.com/topics/mathlib?l=jupyter+notebook
Rust 2 https://github.com/topics/mathlib?l=rust
TypeScript 2 https://github.com/topics/mathlib?l=typescript
JavaScript 1 https://github.com/topics/mathlib?l=javascript
Most stars https://github.com/topics/mathlib?o=desc&s=stars
Fewest stars https://github.com/topics/mathlib?o=asc&s=stars
Most forks https://github.com/topics/mathlib?o=desc&s=forks
Fewest forks https://github.com/topics/mathlib?o=asc&s=forks
Recently updated https://github.com/topics/mathlib?o=desc&s=updated
Least recently updated https://github.com/topics/mathlib?o=asc&s=updated
Crispherhttps://github.com/Crispher
MathlibExplorerhttps://github.com/Crispher/MathlibExplorer
Star 633 https://github.com/login?return_to=%2FCrispher%2FMathlibExplorer
Code https://github.com/Crispher/MathlibExplorer
Issues https://github.com/Crispher/MathlibExplorer/issues
Pull requests https://github.com/Crispher/MathlibExplorer/pulls
visualizationhttps://github.com/topics/visualization
mathhttps://github.com/topics/math
leanhttps://github.com/topics/lean
mathlibhttps://github.com/topics/mathlib
BoltonBaileyhttps://github.com/BoltonBailey
formal-snarks-projecthttps://github.com/BoltonBailey/formal-snarks-project
Star 62 https://github.com/login?return_to=%2FBoltonBailey%2Fformal-snarks-project
Code https://github.com/BoltonBailey/formal-snarks-project
Issues https://github.com/BoltonBailey/formal-snarks-project/issues
Pull requests https://github.com/BoltonBailey/formal-snarks-project/pulls
leanhttps://github.com/topics/lean
mathlibhttps://github.com/topics/mathlib
snarkhttps://github.com/topics/snark
jingyuexinghttps://github.com/jingyuexing
MathLibhttps://github.com/jingyuexing/MathLib
Star 50 https://github.com/login?return_to=%2Fjingyuexing%2FMathLib
Code https://github.com/jingyuexing/MathLib
Issues https://github.com/jingyuexing/MathLib/issues
Pull requests https://github.com/jingyuexing/MathLib/pulls
javascripthttps://github.com/topics/javascript
pythonhttps://github.com/topics/python
chttps://github.com/topics/c
javahttps://github.com/topics/java
gohttps://github.com/topics/go
phphttps://github.com/topics/php
algorithmhttps://github.com/topics/algorithm
statisticshttps://github.com/topics/statistics
typescripthttps://github.com/topics/typescript
csharphttps://github.com/topics/csharp
mathhttps://github.com/topics/math
cpphttps://github.com/topics/cpp
testhttps://github.com/topics/test
haxehttps://github.com/topics/haxe
python3https://github.com/topics/python3
mathlibhttps://github.com/topics/mathlib
bhgomeshttps://github.com/bhgomes
lean-riemann-hypothesishttps://github.com/bhgomes/lean-riemann-hypothesis
Star 44 https://github.com/login?return_to=%2Fbhgomes%2Flean-riemann-hypothesis
Code https://github.com/bhgomes/lean-riemann-hypothesis
Issues https://github.com/bhgomes/lean-riemann-hypothesis/issues
Pull requests https://github.com/bhgomes/lean-riemann-hypothesis/pulls
leanhttps://github.com/topics/lean
mathlibhttps://github.com/topics/mathlib
lean-theorem-proverhttps://github.com/topics/lean-theorem-prover
riemann-hypothesishttps://github.com/topics/riemann-hypothesis
raphaelrrcoelhohttps://github.com/raphaelrrcoelho
formal-mathfinhttps://github.com/raphaelrrcoelho/formal-mathfin
Star 19 https://github.com/login?return_to=%2Fraphaelrrcoelho%2Fformal-mathfin
Code https://github.com/raphaelrrcoelho/formal-mathfin
Issues https://github.com/raphaelrrcoelho/formal-mathfin/issues
Pull requests https://github.com/raphaelrrcoelho/formal-mathfin/pulls
Discussions https://github.com/raphaelrrcoelho/formal-mathfin/discussions
theorem-provinghttps://github.com/topics/theorem-proving
formal-methodshttps://github.com/topics/formal-methods
option-pricinghttps://github.com/topics/option-pricing
quantitative-financehttps://github.com/topics/quantitative-finance
formal-verificationhttps://github.com/topics/formal-verification
mathematical-financehttps://github.com/topics/mathematical-finance
black-scholeshttps://github.com/topics/black-scholes
derivatives-pricinghttps://github.com/topics/derivatives-pricing
mathlibhttps://github.com/topics/mathlib
stochastic-calculushttps://github.com/topics/stochastic-calculus
lean4https://github.com/topics/lean4
ito-calculushttps://github.com/topics/ito-calculus
henryrobbinshttps://github.com/henryrobbins
open-atphttps://github.com/henryrobbins/open-atp
Star 18 https://github.com/login?return_to=%2Fhenryrobbins%2Fopen-atp
Code https://github.com/henryrobbins/open-atp
Issues https://github.com/henryrobbins/open-atp/issues
Pull requests https://github.com/henryrobbins/open-atp/pulls
theorem-provinghttps://github.com/topics/theorem-proving
formal-verificationhttps://github.com/topics/formal-verification
mathlibhttps://github.com/topics/mathlib
automated-theorem-provinghttps://github.com/topics/automated-theorem-proving
lean4https://github.com/topics/lean4
llm-agentshttps://github.com/topics/llm-agents
anic17https://github.com/anic17
complexhttps://github.com/anic17/complex
Star 13 https://github.com/login?return_to=%2Fanic17%2Fcomplex
Code https://github.com/anic17/complex
Issues https://github.com/anic17/complex/issues
Pull requests https://github.com/anic17/complex/pulls
chttps://github.com/topics/c
algebrahttps://github.com/topics/algebra
complex-numbershttps://github.com/topics/complex-numbers
math-libraryhttps://github.com/topics/math-library
mathlibhttps://github.com/topics/mathlib
imaginary-numbershttps://github.com/topics/imaginary-numbers
Zetetic-Dhruvhttps://github.com/Zetetic-Dhruv
formal-learning-theory-kernelhttps://github.com/Zetetic-Dhruv/formal-learning-theory-kernel
Star 12 https://github.com/login?return_to=%2FZetetic-Dhruv%2Fformal-learning-theory-kernel
Code https://github.com/Zetetic-Dhruv/formal-learning-theory-kernel
Issues https://github.com/Zetetic-Dhruv/formal-learning-theory-kernel/issues
Pull requests https://github.com/Zetetic-Dhruv/formal-learning-theory-kernel/pulls
libraryhttps://github.com/topics/library
theorem-provinghttps://github.com/topics/theorem-proving
formal-verificationhttps://github.com/topics/formal-verification
ai-agentshttps://github.com/topics/ai-agents
learning-theoryhttps://github.com/topics/learning-theory
mathlibhttps://github.com/topics/mathlib
lean4https://github.com/topics/lean4
hawkrobehttps://github.com/hawkrobe
linglibhttps://github.com/hawkrobe/linglib
Star 12 https://github.com/login?return_to=%2Fhawkrobe%2Flinglib
Code https://github.com/hawkrobe/linglib
Issues https://github.com/hawkrobe/linglib/issues
Pull requests https://github.com/hawkrobe/linglib/pulls
linguisticshttps://github.com/topics/linguistics
leanhttps://github.com/topics/lean
formalhttps://github.com/topics/formal
mathlibhttps://github.com/topics/mathlib
Kernel-Sciencehttps://github.com/Kernel-Science
physlibsearchhttps://github.com/Kernel-Science/physlibsearch
Star 9 https://github.com/login?return_to=%2FKernel-Science%2Fphyslibsearch
Code https://github.com/Kernel-Science/physlibsearch
Issues https://github.com/Kernel-Science/physlibsearch/issues
Pull requests https://github.com/Kernel-Science/physlibsearch/pulls
Discussions https://github.com/Kernel-Science/physlibsearch/discussions
mathlibhttps://github.com/topics/mathlib
lean4https://github.com/topics/lean4
physlibhttps://github.com/topics/physlib
physleanhttps://github.com/topics/physlean
eric-wieserhttps://github.com/eric-wieser
lean-graded-ringshttps://github.com/eric-wieser/lean-graded-rings
Star 8 https://github.com/login?return_to=%2Feric-wieser%2Flean-graded-rings
Code https://github.com/eric-wieser/lean-graded-rings
Issues https://github.com/eric-wieser/lean-graded-rings/issues
Pull requests https://github.com/eric-wieser/lean-graded-rings/pulls
leanhttps://github.com/topics/lean
formal-mathematicshttps://github.com/topics/formal-mathematics
mathlibhttps://github.com/topics/mathlib
cicmhttps://github.com/topics/cicm
SwayingWheatfieldhttps://github.com/SwayingWheatfield
Measurehttps://github.com/SwayingWheatfield/Measure
Star 8 https://github.com/login?return_to=%2FSwayingWheatfield%2FMeasure
Code https://github.com/SwayingWheatfield/Measure
Issues https://github.com/SwayingWheatfield/Measure/issues
Pull requests https://github.com/SwayingWheatfield/Measure/pulls
computer-algebrahttps://github.com/topics/computer-algebra
physicshttps://github.com/topics/physics
proof-assistanthttps://github.com/topics/proof-assistant
scientific-computinghttps://github.com/topics/scientific-computing
formal-verificationhttps://github.com/topics/formal-verification
theorem-proverhttps://github.com/topics/theorem-prover
mathlibhttps://github.com/topics/mathlib
lean4https://github.com/topics/lean4
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
lordpaijohttps://github.com/lordpaijo
imeth.cpphttps://github.com/lordpaijo/imeth.cpp
Star 6 https://github.com/login?return_to=%2Flordpaijo%2Fimeth.cpp
Code https://github.com/lordpaijo/imeth.cpp
Issues https://github.com/lordpaijo/imeth.cpp/issues
Pull requests https://github.com/lordpaijo/imeth.cpp/pulls
libraryhttps://github.com/topics/library
cplusplushttps://github.com/topics/cplusplus
mathhttps://github.com/topics/math
cpphttps://github.com/topics/cpp
mathematicshttps://github.com/topics/mathematics
cpp20https://github.com/topics/cpp20
cplusplus-20https://github.com/topics/cplusplus-20
mathlibhttps://github.com/topics/mathlib
Project-Navihttps://github.com/Project-Navi
navi-creative-determinanthttps://github.com/Project-Navi/navi-creative-determinant
Sponsor https://github.com/sponsors/Project-Navi
Star 6 https://github.com/login?return_to=%2FProject-Navi%2Fnavi-creative-determinant
Code https://github.com/Project-Navi/navi-creative-determinant
Issues https://github.com/Project-Navi/navi-creative-determinant/issues
Pull requests https://github.com/Project-Navi/navi-creative-determinant/pulls
cognitive-sciencehttps://github.com/topics/cognitive-science
dynamical-systemshttps://github.com/topics/dynamical-systems
pdehttps://github.com/topics/pde
formal-verificationhttps://github.com/topics/formal-verification
ai-safetyhttps://github.com/topics/ai-safety
interpretabilityhttps://github.com/topics/interpretability
mathematical-modelinghttps://github.com/topics/mathematical-modeling
mathlibhttps://github.com/topics/mathlib
semioticshttps://github.com/topics/semiotics
autopoiesishttps://github.com/topics/autopoiesis
lean4https://github.com/topics/lean4
elliptic-pdehttps://github.com/topics/elliptic-pde
fixed-point-theoremshttps://github.com/topics/fixed-point-theorems
urikolhttps://github.com/urikol
QuantumOptimizationhttps://github.com/urikol/QuantumOptimization
Star 6 https://github.com/login?return_to=%2Furikol%2FQuantumOptimization
Code https://github.com/urikol/QuantumOptimization
Issues https://github.com/urikol/QuantumOptimization/issues
Pull requests https://github.com/urikol/QuantumOptimization/pulls
theorem-provinghttps://github.com/topics/theorem-proving
proof-assistanthttps://github.com/topics/proof-assistant
quantum-computinghttps://github.com/topics/quantum-computing
leanhttps://github.com/topics/lean
quantum-informationhttps://github.com/topics/quantum-information
formal-verificationhttps://github.com/topics/formal-verification
quantum-algorithmshttps://github.com/topics/quantum-algorithms
qaoahttps://github.com/topics/qaoa
mathlibhttps://github.com/topics/mathlib
quantum-optimizationhttps://github.com/topics/quantum-optimization
lean4https://github.com/topics/lean4
DhyeyMavani2003https://github.com/DhyeyMavani2003
chip-firing-with-leanhttps://github.com/DhyeyMavani2003/chip-firing-with-lean
Star 6 https://github.com/login?return_to=%2FDhyeyMavani2003%2Fchip-firing-with-lean
Code https://github.com/DhyeyMavani2003/chip-firing-with-lean
Issues https://github.com/DhyeyMavani2003/chip-firing-with-lean/issues
Pull requests https://github.com/DhyeyMavani2003/chip-firing-with-lean/pulls
mathematicshttps://github.com/topics/mathematics
graph-theoryhttps://github.com/topics/graph-theory
number-theoryhttps://github.com/topics/number-theory
mathlibhttps://github.com/topics/mathlib
lean4https://github.com/topics/lean4
chip-firinghttps://github.com/topics/chip-firing
https://github.com/MarufHasan24/mathlib-cpp
MarufHasan24https://github.com/MarufHasan24
mathlib-cpphttps://github.com/MarufHasan24/mathlib-cpp
Star 5 https://github.com/login?return_to=%2FMarufHasan24%2Fmathlib-cpp
Code https://github.com/MarufHasan24/mathlib-cpp
Issues https://github.com/MarufHasan24/mathlib-cpp/issues
Pull requests https://github.com/MarufHasan24/mathlib-cpp/pulls
open-sourcehttps://github.com/topics/open-source
mathhttps://github.com/topics/math
mathematicshttps://github.com/topics/mathematics
hacktoberfesthttps://github.com/topics/hacktoberfest
mathlibhttps://github.com/topics/mathlib
open-source-contributionshttps://github.com/topics/open-source-contributions
hacktoberfest2023https://github.com/topics/hacktoberfest2023
mathlib-nhttps://github.com/topics/mathlib-n
hacktoberfest23https://github.com/topics/hacktoberfest23
dududuguohttps://github.com/dududuguo
HighDimProbhttps://github.com/dududuguo/HighDimProb
Star 5 https://github.com/login?return_to=%2Fdududuguo%2FHighDimProb
Code https://github.com/dududuguo/HighDimProb
Issues https://github.com/dududuguo/HighDimProb/issues
Pull requests https://github.com/dududuguo/HighDimProb/pulls
theorem-provinghttps://github.com/topics/theorem-proving
formal-verificationhttps://github.com/topics/formal-verification
probability-theoryhttps://github.com/topics/probability-theory
random-matrix-theoryhttps://github.com/topics/random-matrix-theory
mathlibhttps://github.com/topics/mathlib
lean4https://github.com/topics/lean4
high-dimensional-probabilityhttps://github.com/topics/high-dimensional-probability
concentration-inequalitieshttps://github.com/topics/concentration-inequalities
matrix-concentrationhttps://github.com/topics/matrix-concentration
matrix-bernsteinhttps://github.com/topics/matrix-bernstein
Project-Navihttps://github.com/Project-Navi
ordvec-formalizationhttps://github.com/Project-Navi/ordvec-formalization
Sponsor https://github.com/sponsors/Project-Navi
Star 5 https://github.com/login?return_to=%2FProject-Navi%2Fordvec-formalization
Code https://github.com/Project-Navi/ordvec-formalization
Issues https://github.com/Project-Navi/ordvec-formalization/issues
Pull requests https://github.com/Project-Navi/ordvec-formalization/pulls
Discussions https://github.com/Project-Navi/ordvec-formalization/discussions
information-retrievalhttps://github.com/topics/information-retrieval
theorem-provinghttps://github.com/topics/theorem-proving
formal-verificationhttps://github.com/topics/formal-verification
bayesian-statisticshttps://github.com/topics/bayesian-statistics
mathlibhttps://github.com/topics/mathlib
vector-searchhttps://github.com/topics/vector-search
lean4https://github.com/topics/lean4
ordvechttps://github.com/topics/ordvec
monotone-likelihood-ratiohttps://github.com/topics/monotone-likelihood-ratio
fisher-noncentral-hypergeometrichttps://github.com/topics/fisher-noncentral-hypergeometric
Curate this topic https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-mathlib
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.