Paper Citation Record · LEDGER

Exploring Formal Math on the Blockchain: An Explorer for Proofgold

As of 17 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.

pith.paper-citation-record.v1
2509.08267 v1

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T20:58:29.753539Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+00:00.

Pith citing papers

No inbound Pith citation observations are available.