External declarations and consumers
3,751 unique names; 126,760 consumer occurrences. This technical browser renders 100 results at a time. All source qualification and provider pin distinctions remain in the saved identity.
Complete deduplicated data and provider pins · Unchanged graph, levels and witnesses · Full declaration graph (fixed source snapshot)
Provider identity
{
"commit": "4d4cfc1b2b5a2642a6a90d3fc5c4e6f4f8abdfa4",
"dependency_helper_sha256": "e40ac7d502ac5ddb8fdebf820c2e318cf470f7834f6b83d5ed874da6686d04e3",
"dependency_pins": {
"Cli": "406ebb8c8e2f7e852a1b47764b42494022ce652c",
"LeanSearchClient": "c5d5b8fe6e5158def25cd28eb94e4141ad97c843",
"Qq": "7a62bd13860cd39ac98da16ffc8c24d601353f69",
"aesop": "b5b9e2bb45ce91e4bc44eaa738c3a8910404ab82",
"batteries": "954dbc9873f3b4534dc9896604593406d0383520",
"importGraph": "41f407a8e85b0fdc00910633a8f14754139b63f4",
"mathlib": "360da6fa66c1273b76b6b2d8c5666fd5ac2e3b56",
"plausible": "f3f26cc72646205ca167117487c008ee1dafe816",
"proofwidgets": "e6518a674e62de322b8f79eebeda7bcae2a36bc3"
},
"helper_sha256": "781ac7613de025b2d6ea05aced984d102e1e8ff9a940fce695ec450945348b34",
"lock_sha256": "ba2675150a9443e1d9200d37fc2d4a50f03087ed8f56232a85d121afea0f0c90",
"mode": "BOOTSTRAP_SCOPED_LINUX",
"native_process_helper_sha256": "ff91b0f18a2ad96ed6e3b423e049690469858cfa8aeabc8edcdbd97de1e7975a",
"plan_sha256": "d399882a786f69918c58826a045cb132ffc569344df27e65170329b73934d576",
"provider_graph_sha256": "939517a5761c1b93eef64b7862902ffa918f169ba2f9477dbfaaa92adc41b50d",
"resource_helper_sha256": "6545808b8a44ca2bf2511a7340100240cc3e61f29d591ade69fb2fded276d2e7",
"run_attempt": "1",
"run_id": "38063627833",
"scope_helper_sha256": "5f9a4b50cec0c2aeb30a1d56afe677ad0223390ac05988d00211f745c899ff8f",
"toolchain": "leanprover/lean4:v4.32.0-rc1",
"tree": "2df11956be5a3b1c55827c291d74bfc03cd6727c",
"workflow_sha256": "a76df756659ab693dd602ab20e2fa725bed0d681ae51a8473517a9634a8e083c"
}