Site profile
rocq-prover.org
Built with swiper 8.0.2, alpinejs 3.17.4, flowbite 1.5.5, @loomchild/webflow-alpinejs 2.2.0, krds-uiux 1.1.0, @glassesusa/dsm 4.6.2, anzhiyu-theme-static 1.1.10, dom7 4.0.6. 5 pages and 14 stored files, last crawled 2026-10-02.
rank 399,468 8 libraries 2 identifiers 3 third-party hosts 1 crawl open the site
Technologies and libraries
Recognised by fingerprinting the stored files and bundles against known releases; a version is the release the bytes match.
| Library | Version | Seen |
|---|---|---|
| swiper | 8.0.2 | 2026-10-02 |
| alpinejs | 3.17.4 | 2026-10-02 |
| flowbite | 1.5.5 | 2026-10-02 |
| @loomchild/webflow-alpinejs | 2.2.0 | 2026-10-02 |
| krds-uiux | 1.1.0 | 2026-10-02 |
| @glassesusa/dsm | 4.6.2 | 2026-10-02 |
| anzhiyu-theme-static | 1.1.10 | 2026-10-02 |
| dom7 | 4.0.6 | 2026-09-24 |
Tracking, tag and verification IDs
Public identifiers read out of the source. Each links to every other site in the index that carries the same one.
| What | Value | Found in |
|---|---|---|
| Ahrefs site verification (Ahrefs) | 6ff715b377cdcd566334b44ae8888791189ce24640c8a403eacdc3bcbaa9449b | view source |
| Plausible data-domain (Plausible) | rocq-prover.org | view source |
Third-party hosts
Hosts outside rocq-prover.org that its pages load scripts, frames or stylesheets from, and that its own scripts name in absolute URLs (connect). Each links to every site loading from the same host.
| Host | Loaded as | Found in |
|---|---|---|
| cdnjs.cloudflare.com | stylesheet | view source |
| plausible.ci.dev | script | view source |
| unpkg.com | script | view source |
Stored pages and scripts
The newest stored version of each file, newest first@if (p.FilesTruncated) {
Timeline
One entry per crawl, newest first, with what changed since the crawl before: libraries, identifiers, third-party hosts and files. Historical versions stay viewable because the stored chunks are shared between versions, never copied.
-
first crawl
5 pages, 14 files, 1.1 MB; 7 libraries, 2 identifiers, 3 third-party hosts
7 libraries added
- @loomchild/webflow-alpinejs 2.2.0
- alpinejs 3.17.4
- anzhiyu-theme-static 1.1.10
- @glassesusa/dsm 4.6.2
- krds-uiux 1.1.0
- swiper 8.0.2
- flowbite 1.5.5
2 identifiers added
- 6ff715b377cdcd566334b44ae8888791189ce24640c8a403eacdc3bcbaa9449b Ahrefs site verification
- rocq-prover.org Plausible data-domain
3 third-party hosts added
14 files added
- https://rocq-prover.org/ html
- https://rocq-prover.org/docs html
- https://rocq-prover.org/about html
- https://rocq-prover.org/doc/V9.1.0/stdlib/index.html html
- https://rocq-prover.org/platform html
- https://rocq-prover.org/_/OWYyZDQyZjg4MTFlNWEzZj…/vendors/alpine-clipboard.js js
- https://rocq-prover.org/_/NGI1NjQzZjdkODY0MTY2Mm…/vendors/alpine.min.js js
- https://rocq-prover.org/_/YTNhODI2Yzg0Yzk4M2ZiND…/vendors/htmx.min.js js
- https://rocq-prover.org/_/ZDJiMGNkNGMzMjBlYjNmZG…/vendors/swiper-bundle.min.js js
- https://rocq-prover.org/_/NWEwYjU5MDU2YjRlZDJmYz…/vendors/alectryon.js js
- https://rocq-prover.org/vendors/alpine-clipboard.js js
- https://rocq-prover.org/vendors/alpine.min.js js
- and 2 more
Questions about rocq-prover.org
- How does PageSourceSearch know what rocq-prover.org is built with?
- From the site's own source code. The crawler stores the exact bytes of its pages and first-party scripts; the libraries are recognised by fingerprinting that code against known releases, the identifiers are read out of the tag snippets, and the third-party hosts are the script, iframe and stylesheet sources in the HTML and the absolute URLs inside the scripts. Nothing is inferred from headers or guessed.
- How far back does the history of rocq-prover.org go?
- To the first crawl the timeline lists. Every crawl records what the site looked like; when a file's content changes, its earlier version stays viewable because the stored chunks are never deleted, only mapped. A crawl that finds a file unchanged adds no copy.
- Can I see an older version of a script from rocq-prover.org?
- Yes. In the stored files list, every date under a file opens the version that was live at that crawl, with the same viewer as the current one. The raw bytes can be downloaded from there.
- Which other websites use the same tracking IDs as rocq-prover.org?
- Each identifier links to its reverse lookup, the list of every site in the index whose source carries the same id: the sites one analytics property or tag manager container is shared across.
Look up another site, browse sites by tracking ID, third-party host or technology. Site owners: see the crawler page for how stored pages are removed.