Backlinks
| Referring page | DR | Ref. domains | Linked domains | Anchor and target URL |
|---|---|---|---|---|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
Community
https://rocq-prover.org//community
DOFOLLOW
|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
Community
https://rocq-prover.org//community
DOFOLLOW
|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
News
https://rocq-prover.org//changelog
DOFOLLOW
|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
News
https://rocq-prover.org//changelog
DOFOLLOW
|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
Packages
https://rocq-prover.org//packages
DOFOLLOW
|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
Packages
https://rocq-prover.org//packages
DOFOLLOW
|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
Platform
https://rocq-prover.org//platform
DOFOLLOW
|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
Platform
https://rocq-prover.org//platform
DOFOLLOW
|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
Learn
https://rocq-prover.org//docs
DOFOLLOW
|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
Learn
https://rocq-prover.org//docs
DOFOLLOW
|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
Consortium
https://rocq-prover.org//consortium
DOFOLLOW
|
|
Habiliation à Diriger des Recherches de Matthieu Sozeau le 12 Février 2026 - ...
https://discourse.rocq-prover.org/t/habiliation-a-diriger-des-recherches-de-matthieu-sozeau-le-12-fevrier-2026/2918
discourse.rocq-prover.org
|
51 | 2 | 3 |
Consortium
https://rocq-prover.org//consortium
DOFOLLOW
|
|
UniMath.CategoryTheory.DisplayedCats.Univalence
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.DisplayedCats.Univalence.html
unimath.github.io
|
11 | 7 | 20 |
coqdoc
http://rocq-prover.org/
DOFOLLOW
|
|
Preface
https://softwarefoundations.cis.upenn.edu/current/plf-current/Preface.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
coqdoc
http://rocq-prover.org/
DOFOLLOW
|
|
UniMath.CategoryTheory.yoneda
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.yoneda.html
unimath.github.io
|
11 | 7 | 20 |
coqdoc
http://rocq-prover.org/
DOFOLLOW
|
|
opam - rocq-prover.9.0.0
https://opam.ocaml.org/packages/rocq-prover/rocq-prover.9.0.0
opam.ocaml.org
|
59 | 53 | 126 |
https://rocq-prover.org
https://rocq-prover.org/
DOFOLLOW
|
|
UniMath.CategoryTheory.ProductCategory
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.ProductCategory.html
unimath.github.io
|
11 | 7 | 20 |
coqdoc
http://rocq-prover.org/
DOFOLLOW
|
|
Perm: Basic Techniques for Comparisons and Permutations
https://softwarefoundations.cis.upenn.edu/vfa-current/Perm.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
string
https://rocq-prover.org/doc/V9.0.0/stdlib//Stdlib.Strings.String.html
DOFOLLOW
|
|
Perm: Basic Techniques for Comparisons and Permutations
https://softwarefoundations.cis.upenn.edu/vfa-current/Perm.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
iff_reflect
https://rocq-prover.org/doc/V9.0.0/stdlib//Stdlib.Bool.Bool.html
DOFOLLOW
|
|
Perm: Basic Techniques for Comparisons and Permutations
https://softwarefoundations.cis.upenn.edu/vfa-current/Perm.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
Forall
https://rocq-prover.org/doc/V9.0.0/corelib//Corelib.Lists.ListDef.html
DOFOLLOW
|
|
Perm: Basic Techniques for Comparisons and Permutations
https://softwarefoundations.cis.upenn.edu/vfa-current/Perm.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
nat
https://rocq-prover.org/doc/V9.0.0/corelib//Corelib.Init.Datatypes.html
DOFOLLOW
|
|
Perm: Basic Techniques for Comparisons and Permutations
https://softwarefoundations.cis.upenn.edu/vfa-current/Perm.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
→
https://rocq-prover.org/doc/V9.0.0/corelib//Corelib.Init.Logic.html
DOFOLLOW
|
|
Perm: Basic Techniques for Comparisons and Permutations
https://softwarefoundations.cis.upenn.edu/vfa-current/Perm.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
Nat.ltb
https://rocq-prover.org/doc/V9.0.0/stdlib//Stdlib.Arith.PeanoNat.html
DOFOLLOW
|
|
Perm: Basic Techniques for Comparisons and Permutations
https://softwarefoundations.cis.upenn.edu/vfa-current/Perm.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
(no anchor)
https://rocq-prover.org/doc/V9.0.0/stdlib//Stdlib.Arith.Compare_dec.html
DOFOLLOW
|
|
Perm: Basic Techniques for Comparisons and Permutations
https://softwarefoundations.cis.upenn.edu/vfa-current/Perm.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
[
https://rocq-prover.org/doc/V9.0.0/stdlib//Stdlib.Lists.List.html
DOFOLLOW
|
|
Perm: Basic Techniques for Comparisons and Permutations
https://softwarefoundations.cis.upenn.edu/vfa-current/Perm.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
Permutation
https://rocq-prover.org/doc/V9.0.0/stdlib//Stdlib.Sorting.Permutation.html
DOFOLLOW
|
|
Perm: Basic Techniques for Comparisons and Permutations
https://softwarefoundations.cis.upenn.edu/vfa-current/Perm.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
coqdoc
http://rocq-prover.org/
DOFOLLOW
|
|
Perm: Basic Techniques for Comparisons and Permutations
https://softwarefoundations.cis.upenn.edu/vfa-current/Perm.html
softwarefoundations.cis.upenn.edu
|
62 | 22 | 13 |
lt
https://rocq-prover.org/doc/V9.0.0/corelib//Corelib.Init.Peano.html
DOFOLLOW
|
|
Profile - shutterrecoil - Rocq Prover
https://discourse.rocq-prover.org/u/shutterrecoil
discourse.rocq-prover.org
|
51 | 2 | 3 |
Community
https://rocq-prover.org//community
DOFOLLOW
|
|
Profile - shutterrecoil - Rocq Prover
https://discourse.rocq-prover.org/u/shutterrecoil
discourse.rocq-prover.org
|
51 | 2 | 3 |
News
https://rocq-prover.org//changelog
DOFOLLOW
|
|
Profile - shutterrecoil - Rocq Prover
https://discourse.rocq-prover.org/u/shutterrecoil
discourse.rocq-prover.org
|
51 | 2 | 3 |
Packages
https://rocq-prover.org//packages
DOFOLLOW
|
|
Profile - shutterrecoil - Rocq Prover
https://discourse.rocq-prover.org/u/shutterrecoil
discourse.rocq-prover.org
|
51 | 2 | 3 |
Platform
https://rocq-prover.org//platform
DOFOLLOW
|
|
Profile - shutterrecoil - Rocq Prover
https://discourse.rocq-prover.org/u/shutterrecoil
discourse.rocq-prover.org
|
51 | 2 | 3 |
Learn
https://rocq-prover.org//docs
DOFOLLOW
|
|
Profile - shutterrecoil - Rocq Prover
https://discourse.rocq-prover.org/u/shutterrecoil
discourse.rocq-prover.org
|
51 | 2 | 3 |
Consortium
https://rocq-prover.org//consortium
DOFOLLOW
|
|
UniMath.CategoryTheory.Limits.Examples.AlgebraStructuresColimits
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.Limits.Examples.AlgebraStructuresColimits.html
unimath.github.io
|
11 | 7 | 20 |
coqdoc
http://rocq-prover.org/
DOFOLLOW
|
|
23229808
https://feddit.it/post/23229808
feddit.it
|
74 | 195 | 170 |
https://rocq-prover.org/
https://rocq-prover.org/
NOFOLLOW
|
|
UniMath.OrderTheory.Lattice.Examples.Sieves
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.OrderTheory.Lattice.Examples.Sieves.html
unimath.github.io
|
11 | 7 | 20 |
coqdoc
http://rocq-prover.org/
DOFOLLOW
|
|
UniMath.CategoryTheory.DisplayedCats.FullyFaithfulDispFunctor
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.DisplayedCats.FullyFaithfulDispFunctor.html
unimath.github.io
|
11 | 7 | 20 |
coqdoc
http://rocq-prover.org/
DOFOLLOW
|
|
Verus overview - Verus Tutorial and Reference
https://verus-lang.github.io/verus/guide/overview.html
verus-lang.github.io
|
58 | 1 | 18 |
Rocq
https://rocq-prover.org/
DOFOLLOW
|
|
UniMath.Bicategories.MonoidalCategories.ActionBasedStrongFunctorsWhiskeredMon...
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.Bicategories.MonoidalCategories.ActionBasedStrongFunctorsWhiskeredMonoidal.html
unimath.github.io
|
11 | 7 | 20 |
coqdoc
http://rocq-prover.org/
DOFOLLOW
|
|
UniMath.Bicategories.ComprehensionCat.TypeFormers.Democracy
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.Bicategories.ComprehensionCat.TypeFormers.Democracy.html
unimath.github.io
|
11 | 7 | 20 |
coqdoc
http://rocq-prover.org/
DOFOLLOW
|
|
UniMath.CategoryTheory.Exponentials
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.Exponentials.html
unimath.github.io
|
11 | 7 | 20 |
coqdoc
http://rocq-prover.org/
DOFOLLOW
|
|
Axiom - Professional Rocq IDE - Announcements - Rocq Prover
https://discourse.rocq-prover.org/t/axiom-professional-rocq-ide/2923
discourse.rocq-prover.org
|
51 | 2 | 3 |
Community
https://rocq-prover.org//community
DOFOLLOW
|
|
Axiom - Professional Rocq IDE - Announcements - Rocq Prover
https://discourse.rocq-prover.org/t/axiom-professional-rocq-ide/2923
discourse.rocq-prover.org
|
51 | 2 | 3 |
Community
https://rocq-prover.org//community
DOFOLLOW
|
|
Axiom - Professional Rocq IDE - Announcements - Rocq Prover
https://discourse.rocq-prover.org/t/axiom-professional-rocq-ide/2923
discourse.rocq-prover.org
|
51 | 2 | 3 |
News
https://rocq-prover.org//changelog
DOFOLLOW
|
|
Axiom - Professional Rocq IDE - Announcements - Rocq Prover
https://discourse.rocq-prover.org/t/axiom-professional-rocq-ide/2923
discourse.rocq-prover.org
|
51 | 2 | 3 |
News
https://rocq-prover.org//changelog
DOFOLLOW
|
|
Axiom - Professional Rocq IDE - Announcements - Rocq Prover
https://discourse.rocq-prover.org/t/axiom-professional-rocq-ide/2923
discourse.rocq-prover.org
|
51 | 2 | 3 |
Packages
https://rocq-prover.org//packages
DOFOLLOW
|
|
Axiom - Professional Rocq IDE - Announcements - Rocq Prover
https://discourse.rocq-prover.org/t/axiom-professional-rocq-ide/2923
discourse.rocq-prover.org
|
51 | 2 | 3 |
Packages
https://rocq-prover.org//packages
DOFOLLOW
|
|
Axiom - Professional Rocq IDE - Announcements - Rocq Prover
https://discourse.rocq-prover.org/t/axiom-professional-rocq-ide/2923
discourse.rocq-prover.org
|
51 | 2 | 3 |
Platform
https://rocq-prover.org//platform
DOFOLLOW
|
|
Axiom - Professional Rocq IDE - Announcements - Rocq Prover
https://discourse.rocq-prover.org/t/axiom-professional-rocq-ide/2923
discourse.rocq-prover.org
|
51 | 2 | 3 |
Platform
https://rocq-prover.org//platform
DOFOLLOW
|
Frequently Asked Questions
How many backlinks does rocq-prover.org have?
The backlinks page for rocq-prover.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 rocq-prover.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 rocq-prover.org dofollow or nofollow?
Backlinks to rocq-prover.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.