Sources

Root-bound source inventory for the current release. Declarations, observations, source-native objects, and Repository bindings remain separate records.

JSON record

Source-local read projections

Rooted observations that remain outside the scientific Source Registry and have no authority effect.

Formal Conjectures PR audit

Five exact source records · public Apache-2.0 custody · no automatic Verification, Decision, or Standing effect

Inspect 5 records

Registry lookup

Search 6,631 source-native records or inspect 15 declarations

Sources: 15
Observations: 15
Native records: 6,631
Bindings: 4

Source declarations

15 of 15 sources in this exact release

Source declaration	Exact observation	Projected objects	Repository bindings	Actions
Google DeepMind; Formal Conjectures authors source:formal-conjectures formal library · formal-conjectures	observation:formal-conjectures:c1df9bcd329aa009 59f30aa314ba225fcd9268723ce8291616df1ab0	3,551 source-native rows complete coverage	4 exact links	Inspect
The Erdős Problems project; Thomas Bloom source:erdos-problems problem collection · erdosproblems	observation:erdos-problems:66770ddf3f22ce76 5e22e39e81adac467dd36bfbe33ea59c49180bdf	1,217 source-native rows complete coverage	0 exact links	Inspect
Rasmus Lindahl (mrconter1) source:vibemathed problem collection · vibemathed	observation:vibemathed:56743bb5c05fb597 sha256:3cbac0c1f9798e958ba34e8f17d519983453b37e8f33a69da8c336d763f8cad8	632 source-native rows complete coverage	0 exact links	Inspect
Erdős Problems wiki contributors source:erdos-ai-contributions-wiki frozen reference · erdosproblems-wiki	observation:erdos-ai-contributions-wiki:0b81e2beacf2bffa c8ad4309d20120c67cb97faa86daa1443acee018	441 source-native rows complete coverage	0 exact links	Inspect
The Physlib community source:physlib formal library · leanprover-community/physlib:API-map	observation:physlib:071ce76f0a8083cb e882411d1b6bcbdfdd336d4c509c6cc72e96842d	232 source-native rows complete coverage	0 exact links	Inspect
Jayyhk source:jayyhk-erdos-lean proof manifest · jayyhk-erdos-lean	observation:jayyhk-erdos-lean:0618a55aa70c93b0 a5ffc87b3d684fc00ea906b9e746c283740da900	206 source-native rows complete coverage	0 exact links	Inspect
plby source:plby-lean-proofs proof manifest · plby-lean-proofs	observation:plby-lean-proofs:16b5cd5489a13ab2 68da20b96673899166e94638f5a7fffeb7231d35	202 source-native rows complete coverage	0 exact links	Inspect
William Blair source:williamjblair-lean-proofs proof manifest · williamjblair-lean-proofs	observation:williamjblair-lean-proofs:96e05cfa22d2e84f a8c2872a27cf8d11cf6744ca4a2c5b49ace5fea0	79 source-native rows complete coverage	0 exact links	Inspect
Neel Somani source:gpt-erdos frozen reference · gpt-erdos	observation:gpt-erdos:f2593f5c2298443d 21b48ae6b97279e9fe6781e3744e1cdd835e2cc1	57 source-native rows complete coverage	0 exact links	Inspect
OpenAI source:openai-ten-proofs formal library · openai-ten-proofs:comparator	observation:openai-ten-proofs:763160eee92857c5 94bc0feb6a9ff12c7d31d6de640a725c9d43d2b6	12 source-native rows complete coverage	0 exact links	Inspect
Palomar Registry source:palomar-registry formal library · palomar-registry	observation:palomar-registry:d5994e671a0ec7cc sha256:306220a43c9696396c9f0cbb87ddb3d3352941a4b411988269386911c2492688	1 source-native rows complete coverage	0 exact links	Inspect
The OEIS Foundation Inc. source:oeis-a309370 sequence database · oeis	observation:oeis-a309370:f8a1fec61bd45e16 sha256:f0bdf3d29e7230baeb42b53cb7494887c4c7a6660a5dcacc62186cd292a8c744	1 source-native rows complete coverage	0 exact links	Inspect
CodeTables.de source:codetables-stabilizer problem collection · codetables-stabilizer	observation:codetables-stabilizer:4ddafb4f58384cf4 sha256:66ff0559cc409ef5467d9653cc5af7f9e4dbad58c9d99b0ef7f57b9ced744972	0 source-native rows unobserved coverage	0 exact links	Inspect
Google DeepMind source:alphaproof-nexus-results formal library · alphaproof-nexus-results	observation:alphaproof-nexus-results:a56886d764f14d92 sha256:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83	0 source-native rows unobserved coverage	0 exact links	Inspect
William Blair source:formal-conjectures-pr-audit frozen reference · formal-conjectures-pr-audit-v1	observation:formal-conjectures-pr-audit:ed2a8c54174b7eef sha256:9b3f6905f2df6ee4b3358fe72f79247b68dfc9c7551b7a8bb1266fa17e12016a	0 source-native rows unobserved coverage	0 exact links	Inspect