Backlinks
| Referring page | DR | Ref. domains | Linked domains | Anchor and target URL |
|---|---|---|---|---|
|
The Heidelberg Lean Game: How to turn mathematical proofs into games – HEGL
https://hegl.mathi.uni-heidelberg.de/the-heidelberg-lean-game-how-to-turn-mathematical-proofs-into-games
hegl.mathi.uni-heidelberg.de
|
45 | 1 | 28 |
here
https://lean-lang.org/theorem_proving_in_lean4/introduction.html
DOFOLLOW
|
|
The Death of Software Development
https://mike.tech/blog/death-of-software-development?ref=zsiegel.com
mike.tech
|
41 | 5 | 9 |
Lean
https://lean-lang.org/
DOFOLLOW
|
|
Formalizing Natural Language Proofs in Lean using Large Language Models – Log...
https://logic.kastel.kit.edu/offers/2025-laurent-llm-lean
logic.kastel.kit.edu
|
62 | 5 | 164 |
Lean
https://lean-lang.org/
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Mission
http://lean-lang.org/fro
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
(no anchor)
http://lean-lang.org/
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Team
http://lean-lang.org/fro/team
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Learn
http://lean-lang.org/learn
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Install
http://lean-lang.org/install
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Community
http://lean-lang.org/community
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Contact
http://lean-lang.org/fro/contact
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Roadmap
http://lean-lang.org/fro/roadmap/1900-1-1-the-lean-fro-year-2-roadmap
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Terms of Use
http://lean-lang.org/terms
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Language reference
http://lean-lang.org/doc/reference/latest
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Use cases
http://lean-lang.org/use-cases
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Lean API
http://lean-lang.org/language-reference
DOFOLLOW
|
|
tabular-types | Reservoir
https://reservoir.lean-lang.org/@mtoohey31/tabular-types/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Privacy Policy
http://lean-lang.org/privacy
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Mission
http://lean-lang.org/fro
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
(no anchor)
http://lean-lang.org/
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Team
http://lean-lang.org/fro/team
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Learn
http://lean-lang.org/learn
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Install
http://lean-lang.org/install
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Community
http://lean-lang.org/community
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Contact
http://lean-lang.org/fro/contact
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Roadmap
http://lean-lang.org/fro/roadmap/1900-1-1-the-lean-fro-year-2-roadmap
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Terms of Use
http://lean-lang.org/terms
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Language reference
http://lean-lang.org/doc/reference/latest
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Use cases
http://lean-lang.org/use-cases
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Lean API
http://lean-lang.org/language-reference
DOFOLLOW
|
|
lean2sexp | Reservoir
https://reservoir.lean-lang.org/@andrejbauer/lean2sexp
reservoir.lean-lang.org
|
40 | 2 | 16 |
Privacy Policy
http://lean-lang.org/privacy
DOFOLLOW
|
|
mzimmerm bookmarks: - page: 17 - yabs.io
https://www.yabs.io/a/view.php?page=16&user=mzimmerm
yabs.io
|
8 | 3 | 3,515 |
Programming Language and Theorem Prover — Lean
https://lean-lang.org/
DOFOLLOW
|
|
Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library - ...
https://www.microsoft.com/en-us/research/blog/rewriting-symcrypt-in-rust-to-modernize-microsofts-cryptographic-library?utm_campaign=state-of-rust-2026&utm_medium=referral&utm_source=devnewsletter.com
microsoft.com
|
90 | 59,982 | 1,365 |
Lean (opens in new tab)
https://lean-lang.org/
DOFOLLOW
|
|
Resposta ao ofício do RGN (de 2025)
http://anggtwu.net/2025-oficio-da-EP-resp.html
anggtwu.net
|
8 | 2 | 364 |
Calculational Proofs
https://lean-lang.org/theorem_proving_in_lean4/quantifiers_and_equality.html
DOFOLLOW
|
|
Resposta ao ofício do RGN (de 2025)
http://anggtwu.net/2025-oficio-da-EP-resp.html
anggtwu.net
|
8 | 2 | 364 |
Theorem Proving in Lean4
https://lean-lang.org/theorem_proving_in_lean4/introduction.html
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Mission
http://lean-lang.org/fro
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
(no anchor)
http://lean-lang.org/
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Team
http://lean-lang.org/fro/team
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Learn
http://lean-lang.org/learn
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Install
http://lean-lang.org/install
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Community
http://lean-lang.org/community
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Contact
http://lean-lang.org/fro/contact
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Roadmap
http://lean-lang.org/fro/roadmap/1900-1-1-the-lean-fro-year-2-roadmap
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Terms of Use
http://lean-lang.org/terms
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Language reference
http://lean-lang.org/doc/reference/latest
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Use cases
http://lean-lang.org/use-cases
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Lean API
http://lean-lang.org/language-reference
DOFOLLOW
|
|
lapis | Reservoir
https://reservoir.lean-lang.org/@SrGaabriel/lapis/versions
reservoir.lean-lang.org
|
40 | 2 | 16 |
Privacy Policy
http://lean-lang.org/privacy
DOFOLLOW
|
|
mdgen | Reservoir
https://reservoir.lean-lang.org/@Seasawher/mdgen/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Mission
http://lean-lang.org/fro
DOFOLLOW
|
|
mdgen | Reservoir
https://reservoir.lean-lang.org/@Seasawher/mdgen/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
(no anchor)
http://lean-lang.org/
DOFOLLOW
|
|
mdgen | Reservoir
https://reservoir.lean-lang.org/@Seasawher/mdgen/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Team
http://lean-lang.org/fro/team
DOFOLLOW
|
|
mdgen | Reservoir
https://reservoir.lean-lang.org/@Seasawher/mdgen/dependencies
reservoir.lean-lang.org
|
40 | 2 | 16 |
Learn
http://lean-lang.org/learn
DOFOLLOW
|
Frequently Asked Questions
How many backlinks does lean-lang.org have?
The backlinks page for lean-lang.org shows all individual inbound links discovered in our crawl of the web. Each backlink represents a hyperlink on another website that points to a page on lean-lang.org. Use the filters to narrow results by dofollow/nofollow status, domain rating, or anchor text.
What is a backlink?
A backlink is a hyperlink on one website that points to a page on a different website. Backlinks are one of the most important ranking factors in search engine algorithms because they act as votes of confidence from other sites. The more high-quality backlinks a domain has, the more authority search engines assign to it.
Are the backlinks to lean-lang.org dofollow or nofollow?
Backlinks to lean-lang.org include both dofollow and nofollow links. Dofollow links pass link equity (ranking power) to the target site, while nofollow links include a rel="nofollow" attribute that tells search engines not to pass authority. Both types contribute to a natural backlink profile, but dofollow links carry more SEO weight. You can filter by link type using the rel filter above the table.
How often is backlink data updated?
Backlink data is updated monthly when our web crawler completes a new cycle. Our pipeline processes billions of web pages to discover new backlinks, track lost links, and update domain authority scores. The freshness of data depends on when our crawler last visited the referring pages.