Site profile
leanprover-cookbook.github.io
Built with katex 0.18.9, marked 11.1.1, tippy.js 6.3.7, volantis-static 0.0.1761982841160, elasticlunr 0.9.5, @memori.ai/memori-webcomponent 8.3.3, @dynamic-framework/ui-react 2.10.0. 2 pages and 16 stored files, last crawled 2026-10-03.
7 libraries 0 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 |
|---|---|---|
| katex | 0.18.9 | 2026-10-03 |
| marked | 11.1.1 | 2026-10-03 |
| tippy.js | 6.3.7 | 2026-10-03 |
| volantis-static | 0.0.1761982841160 | 2026-10-03 |
| elasticlunr | 0.9.5 | 2026-10-03 |
| @memori.ai/memori-webcomponent | 8.3.3 | 2026-10-03 |
| @dynamic-framework/ui-react | 2.10.0 | 2026-10-03 |
Tracking, tag and verification IDs
No analytics property, tag manager container, pixel or site-verification token was found in the stored source.
Third-party hosts
Hosts outside leanprover-cookbook.github.io 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 |
|---|---|---|
| cdn.jsdelivr.net | script | view source |
| live.lean-lang.org | connect | view source |
| www.w3.org | connect | 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
2 pages, 16 files, 560.2 KB; 7 libraries, 0 identifiers, 3 third-party hosts
7 libraries added
- elasticlunr 0.9.5
- @dynamic-framework/ui-react 2.10.0
- tippy.js 6.3.7
- @memori.ai/memori-webcomponent 8.3.3
- volantis-static 0.0.1761982841160
- katex 0.18.9
- marked 11.1.1
3 third-party hosts added
16 files added
- https://leanprover-cookbook.github.io/ html
- https://leanprover-cookbook.github.io/lean-metaprogramming-recipes/ html
- https://leanprover-cookbook.github.io/lean-metap…/elasticlunr.min.js js
- https://leanprover-cookbook.github.io/lean-metap…/-verso-search/fuzzysort.min.js js
- https://leanprover-cookbook.github.io/lean-metap…/-verso-search/search-init.js js
- https://leanprover-cookbook.github.io/lean-metap…/-verso-data/popper.min.js js
- https://leanprover-cookbook.github.io/lean-metap…/-verso-data/katex/math.js js
- https://leanprover-cookbook.github.io/lean-metap…/tippy-bundle.umd.min.js js
- https://leanprover-cookbook.github.io/lean-metap…/-verso-data/custom.js js
- https://leanprover-cookbook.github.io/lean-metap…/-verso-data/katex/katex.js js
- https://leanprover-cookbook.github.io/lean-metap…/search-highlight.js js
- https://leanprover-cookbook.github.io/lean-metap…/domain-mappers.js js
- and 4 more
Questions about leanprover-cookbook.github.io
- How does PageSourceSearch know what leanprover-cookbook.github.io 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 leanprover-cookbook.github.io 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 leanprover-cookbook.github.io?
- 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 leanprover-cookbook.github.io?
- 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.