Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T20:58:29.753539Z
Paper Citation Record · LEDGER
Exploring Formal Math on the Blockchain: An Explorer for Proofgold
As of 6 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2509.08267.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
25 of 25 outbound references displayed
- verified exact12
- verified fuzzy4
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 48be1bf3-2c5d-43c9-8c29-a7b1e9410342 · outbound
This paper cites The Lean mathematical library.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold The Lean mathematical library
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T20:58:27.639555Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 949a4f4c-2236-41e5-a483-4d1638d28e5e · outbound
This paper cites an unresolved cited work.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold Unresolved cited work
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:32.506503Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation bbda0960-2da1-4d2b-afe7-1d6f64e398b8 · outbound
This paper cites In: Filliâtre, J., Paulin-Mohring, C., Werner, B.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Filliâtre, J., Paulin-Mohring, C., Werner, B
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:32.318137Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation f7ffdfea-0893-4c85-801c-7701911d5b60 · outbound
This paper cites an unresolved cited work.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T20:58:27.866073Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0bfc0638-7ac4-4081-8673-24778f836cd7 · outbound
This paper cites In: Kaliszyk, C., Brady, E.C., Kohlhase, A., Coen, C.S.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Kaliszyk, C., Brady, E.C., Kohlhase, A., Coen, C.S
Reference 5
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:32.082241Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 89feefb7-5d34-4b68-86c1-d71e42ee7754 · outbound
This paper cites In: Murray, T.C., Stefan, D.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Murray, T.C., Stefan, D
Reference 6
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-08-04T20:58:32.697686Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 50ab86b9-d5ea-4021-a6ab-dd1382f9d5e9 · outbound
This paper cites In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V
Reference 7
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:31.863986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 1fb4b8f9-b820-4bf6-8e29-d61a9cd1c1d2 · outbound
This paper cites In: Dargaye, Z., Schneidewind, C.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Dargaye, Z., Schneidewind, C
Reference 8
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:31.654857Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation d7f2e89a-63e6-42ec-9cad-bc908d50a0e5 · outbound
This paper cites In: Kaliszyk, C., Brady, E.C., Kohlhase, A., Coen, C.S.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Kaliszyk, C., Brady, E.C., Kohlhase, A., Coen, C.S
Reference 9
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:31.398497Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 341fe022-953e-424b-9f4b-f50ff9eb9620 · outbound
This paper cites In: Blanchette, J., Hritcu, C.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Blanchette, J., Hritcu, C
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T20:58:28.470705Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ae0b90a9-b671-4f70-8d00-5c6ab56ea18a · outbound
This paper cites Formalized Mathematics 1(2), 409–420 (1990),http://fm.mizar.org/1990-1/pdf1-2/cat_1.pdf.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold Formalized Mathematics 1(2), 409–420 (1990),http://fm.mizar.org/1990-1/pdf1-2/cat_1.pdf
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T20:58:33.640904Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 5a676204-8967-4b9d-9113-96af2071a79a · outbound
This paper cites In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:31.163835Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 0d2f1a7e-47d2-4764-ad91-98decb1d08cd · outbound
This paper cites In: Bertot, Y., Kutsia, T., Norrish, M.(eds.)15thInternationalConferenceonInteractiveTheoremProving,ITP2024, September 9-14, 2024, Tbilisi, Georgia.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Bertot, Y., Kutsia, T., Norrish, M.(eds.)15thInternationalConferenceonInteractiveTheoremProving,ITP2024, September 9-14, 2024, Tbilisi, Georgia
Reference 13
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:30.933069Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 8ce64880-8690-4514-9fde-e409eec06d26 · outbound
This paper cites In: Kiselyov, O.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Kiselyov, O
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T20:58:33.501868Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 8be178bc-3ebf-472b-b559-aac1e8c804b5 · outbound
This paper cites In: Buzzard, K., Kut- sia, T.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Buzzard, K., Kut- sia, T
Reference 15
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:30.383669Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation f7e9033f-8afc-4618-8eda-1e26f5753df1 · outbound
This paper cites In: Blazy, S., Paulin-Mohring, C., Pichardie, D.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Blazy, S., Paulin-Mohring, C., Pichardie, D
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T20:58:29.134280Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c9e1a5c-0a0e-44b6-9060-69d153b42408 · outbound
This paper cites Forum of Mathematics, Pi5(2017).https://doi.org/10.1017/fmp.2017.1.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold Forum of Mathematics, Pi5(2017).https://doi.org/10.1017/fmp.2017.1
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T20:58:29.244616Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ec3eb95-7475-4c9d-9cab-ae82c314ab44 · outbound
This paper cites Acta Didactica Napocensia3(2), 35–48 (June 2010) 20 C.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold Acta Didactica Napocensia3(2), 35–48 (June 2010) 20 C
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T20:58:33.332734Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation f82c4511-5c63-4ea3-bcfb-2a2464f0aec3 · outbound
This paper cites Cambridge University Press, Cambridge, UK (1986).
Exploring Formal Math on the Blockchain: An Explorer for Proofgold Cambridge University Press, Cambridge, UK (1986)
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-04T20:58:33.091331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation e636f804-bb4f-424a-a4c7-05129d3b105b · outbound
This paper cites In: Naumowicz, A., Thiemann, R.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Naumowicz, A., Thiemann, R
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T20:58:29.516811Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9ac63248-a5d3-42b1-8cf5-013a73a325d2 · outbound
This paper cites an unresolved cited work.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-04T20:58:32.926202Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation eb45379c-368b-4a9d-bf74-5cd32a618dd5 · outbound
This paper cites Sci Data10(791) (2023),https: //doi.org/10.1038/s41597-023-02681-3.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold Sci Data10(791) (2023),https: //doi.org/10.1038/s41597-023-02681-3
Reference 22
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:30.196753Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 1f35a009-f830-4de7-b7e1-88afbceeb96e · outbound
This paper cites an unresolved cited work.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T20:58:29.659827Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 72703054-0b3d-4be9-91e2-3d763cc02c28 · outbound
This paper cites In: Wiedijk, F.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold In: Wiedijk, F
Reference 24
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:29.968632Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation a3512377-eec7-4e4d-9365-ebc8b7bc8520 · outbound
This paper cites an unresolved cited work.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold Unresolved cited work
Reference 324
- Resolution
- verified exact
- doi, observed 2026-08-04T20:58:30.638904Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Pith citing papers
No inbound Pith citation observations are available.