René's URL Explorer Experiment


Title: Physlib: Digitalizing Physics in Lean 4

Open Graph Title: Physlib: Digitalizing Physics in Lean 4

X Title: Physlib: Digitalizing Physics in Lean 4

Description: An open-source community project to digitalize results from physics into Lean 4. Formerly PhysLean & Lean-QuantumInfo.

Open Graph Description: An open-source community project to digitalize results from physics into Lean 4. Formerly PhysLean & Lean-QuantumInfo.

X Description: An open-source community project to digitalize results from physics into Lean 4. Formerly PhysLean & Lean-QuantumInfo.

Opengraph URL: https://physlib.io

direct link

Domain: physlib.io

og:site_namePhyslib
og:imagehttps://physlib.io/images/PhysLibLogo.jpeg
og:image:width1200
og:image:height1200
og:typewebsite
twitter:cardsummary_large_image
twitter:imagehttps://physlib.io/images/PhysLibLogo.jpeg
twitter:image:width1200
twitter:image:height1200

Links:

Physlibhttps://physlib.io/
Docshttps://physlib.io/docs/index.html
Todo listhttps://physlib.io/todo
Get Involvedhttps://physlib.io/get-involved
Trackershttps://physlib.io/api-tracker
Sponsorhttps://physlib.io/sponsor
Searchhttps://physlibsearch.net
GitHubhttps://github.com/leanprover-community/physlib
Get Startedhttps://physlib.io/getting-started
View on GitHubhttps://github.com/leanprover-community/physlib
Join Communityhttps://leanprover.zulipchat.com/#narrow/channel/479953-physlib
Start contributinghttps://physlib.io/getting-started
Learn morehttps://physlib.io/get-involved
arXiv:2405.08863https://inspirehep.net/literature/2787050
Physlibhttps://physlib.io/
https://github.com/leanprover-community/physlib
Getting Startedhttps://physlib.io/getting-started
APIshttps://physlib.io/apis
Project Ideashttps://physlib.io/project-ideas
Get Involvedhttps://physlib.io/get-involved
Maintainershttps://physlib.io/maintainers
Todo listhttps://physlib.io/todo
Discussion ↗https://leanprover.zulipchat.com/#narrow/channel/479953-physlib
Dependency Graphshttps://physlib.io/dependencies
Search Physlib ↗https://physlibsearch.net
GitHub ↗https://github.com/leanprover-community/physlib
Sponsorhttps://physlib.io/sponsor
API Trackerhttps://physlib.io/api-tracker
PR Triagehttps://physlib.io/pr-tracker
leanprover-communityhttps://github.com/leanprover-community/physlib
https://kernel-science.com

Viewport: width=device-width, initial-scale=1

URLs of crawlers that visited me.