Paper Citation Record · LEDGER

Munkres' General Topology Autoformalized in Isabelle/HOL

As of 6 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 2 inbound Pith citation observations for arXiv:2604.07455.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2604.07455 v1

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-10T18:29:49.616565Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-12T19:37:29.398609Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-07-04T09:29:43.418703Z

Reference resolution

25 of 25 outbound references displayed

verified exact0
verified fuzzy16
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d1068af8-ea26-4a75-a117-383456f989e9 · outbound

This paper cites an unresolved cited work.

Munkres' General Topology Autoformalized in Isabelle/HOL Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-05-17T01:53:51.487891Z

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 a5992116-06c5-4fc6-adcc-6ddbed0324a4 · outbound

This paper cites Bancerek et al.

Munkres' General Topology Autoformalized in Isabelle/HOL Bancerek et al

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.494739Z

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 775ba46c-51b2-43de-9df3-e33519c96eb1 · outbound

This paper cites Blanchette, C.

Munkres' General Topology Autoformalized in Isabelle/HOL Blanchette, C

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.511019Z

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 b95e6a21-ba35-43e0-8f6a-21f06bd80766 · outbound

This paper cites an unresolved cited work.

Munkres' General Topology Autoformalized in Isabelle/HOL Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-05-17T01:53:51.497048Z

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 1c0b3f34-e8e3-4eb7-97c7-16d31ab1aaeb · outbound

This paper cites Paulson, W.Li: Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types In:Exp.

Munkres' General Topology Autoformalized in Isabelle/HOL Paulson, W.Li: Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types In:Exp

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.502015Z

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 80211dfd-cf40-4066-ac91-941d0f134e0f · outbound

This paper cites Brown, C.

Munkres' General Topology Autoformalized in Isabelle/HOL Brown, C

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.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 4fe513c3-6c22-466b-b822-591cf66c62bd · outbound

This paper cites Ganesalingam: The language of mathematics: A linguistic and philosophical investigation.

Munkres' General Topology Autoformalized in Isabelle/HOL Ganesalingam: The language of mathematics: A linguistic and philosophical investigation

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.492540Z

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 7d915024-f726-423f-9445-134123a7b63f · outbound

This paper cites an unresolved cited work.

Munkres' General Topology Autoformalized in Isabelle/HOL Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-05-17T01:53:51.485732Z

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 eddb2084-c0ef-4a2d-9825-2756091084ef · outbound

This paper cites Hölzl, F.

Munkres' General Topology Autoformalized in Isabelle/HOL Hölzl, F

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.490166Z

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 846d782c-ffc8-471b-8f34-dbea1a6956bb · outbound

This paper cites an unresolved cited work.

Munkres' General Topology Autoformalized in Isabelle/HOL Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-05-17T01:53:51.499621Z

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 0d2d24e0-d3a7-4907-98cf-8140278167b5 · outbound

This paper cites Kaliszyk, J.

Munkres' General Topology Autoformalized in Isabelle/HOL Kaliszyk, J

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.504183Z

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 2ded98cc-f87a-4193-b548-f3b930ced70c · outbound

This paper cites Kaliszyk, J.

Munkres' General Topology Autoformalized in Isabelle/HOL Kaliszyk, J

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.481459Z

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 2a16c37d-1eba-4761-825f-86e50af9fe60 · outbound

This paper cites Paulson: Isabelle/Copilot: An AI-driven assistant for Is- abelle/HOL (2026).https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/ 2026-02/msg00039.html.

Munkres' General Topology Autoformalized in Isabelle/HOL Paulson: Isabelle/Copilot: An AI-driven assistant for Is- abelle/HOL (2026).https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/ 2026-02/msg00039.html

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.479271Z

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 e6e1c128-8ad9-4eb0-baa2-53a3ee9e71df · outbound

This paper cites Becker, D.Mulligan, et.

Munkres' General Topology Autoformalized in Isabelle/HOL Becker, D.Mulligan, et

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.508783Z

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 34685ae9-6cb9-4fc9-ab9c-a4bba5eb9951 · outbound

This paper cites Munkres:Topology, 2nd edn.

Munkres' General Topology Autoformalized in Isabelle/HOL Munkres:Topology, 2nd edn

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.483615Z

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 9ebef2d1-68c3-4695-9f2c-f006d82b2dcf · outbound

This paper cites LNCS 2283.

Munkres' General Topology Autoformalized in Isabelle/HOL LNCS 2283

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.465039Z

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 a455f6f1-d279-4ed9-9036-eaebba9e33c6 · outbound

This paper cites an unresolved cited work.

Munkres' General Topology Autoformalized in Isabelle/HOL Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-05-17T01:53:51.476868Z

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 eb961769-5bf3-49d3-9a72-378dd2ad5346 · outbound

This paper cites Paulson: Porting the HOL Light analysis library: some lessons.

Munkres' General Topology Autoformalized in Isabelle/HOL Paulson: Porting the HOL Light analysis library: some lessons

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.472160Z

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 7a9afb90-6e86-4bc2-99eb-23fe92df5e63 · outbound

This paper cites Simon: Checking Number Theory Proofs in Natural Language.

Munkres' General Topology Autoformalized in Isabelle/HOL Simon: Checking Number Theory Proofs in Natural Language

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.467760Z

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 87f4d1bb-9318-4fc2-ae18-5af9168bf0be · outbound

This paper cites Sutcliffe: The TPTP Problem Library and Associated Infrastructure - From CNF to TH0.

Munkres' General Topology Autoformalized in Isabelle/HOL Sutcliffe: The TPTP Problem Library and Associated Infrastructure - From CNF to TH0

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.461493Z

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 6e6f024f-24a4-4b97-a643-b4a7b675786d · outbound

This paper cites Floris van Doorn, Patrick Massot, and Oliver Nash.

Munkres' General Topology Autoformalized in Isabelle/HOL Floris van Doorn, Patrick Massot, and Oliver Nash

Reference 21

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T00:30:52.230462Z

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 08ff8aab-7a55-4701-866f-84de0e251638 · outbound

This paper cites an unresolved cited work.

Munkres' General Topology Autoformalized in Isabelle/HOL Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-05-17T01:53:51.474445Z

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 269f0212-21fb-45bf-9005-1d9b454f19a5 · outbound

This paper cites an unresolved cited work.

Munkres' General Topology Autoformalized in Isabelle/HOL Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-05-17T01:53:51.441162Z

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 97431fdb-9776-46c5-8179-43ea7f0aeccb · outbound

This paper cites an unresolved cited work.

Munkres' General Topology Autoformalized in Isabelle/HOL Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-05-17T01:53:51.469892Z

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 33cb1114-fa3f-4d4c-b732-ea0880f2689b · outbound

This paper cites Zinn: Understanding informal mathematical discourse.

Munkres' General Topology Autoformalized in Isabelle/HOL Zinn: Understanding informal mathematical discourse

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:53:51.443736Z

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

Observation d270c12f-a821-436e-9067-5c1eabcf431d · inbound

Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints cites this paper.

Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints Munkres' General Topology Autoformalized in Isabelle/HOL

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-12T19:37:29.398609Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63b5b64f-c841-4a5d-9afa-94007786197c · inbound

Theorist Toolbox: Tools for Agent Based LLM-assisted economic theory Research cites this paper.

Theorist Toolbox: Tools for Agent Based LLM-assisted economic theory Research Munkres' General Topology Autoformalized in Isabelle/HOL

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-07-04T09:29:43.419969Z

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.