Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T10:27:51.261444Z
Paper Citation Record · LEDGER
Tutte's theorem as an educational formalization project
As of 23 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2504.18146.
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-23T06:30:58.430688+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
33 of 33 outbound references displayed
- verified exact4
- verified fuzzy18
- unresolved10
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 055a1711-f1ac-4191-94bd-b49669847d5f · outbound
This paper cites A formal correctness proof of edmonds' blossom shrinking algorithm, 2024.
Tutte's theorem as an educational formalization project A formal correctness proof of edmonds' blossom shrinking algorithm, 2024
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:27:51.137842Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a2297e95-f595-47a4-8477-be3553768e1b · outbound
This paper cites Isabelle graph theory library/tutte\_theorem at c5bcc149ad868d1bb6667f3d2fb48013ca8c588f, 2024.
Tutte's theorem as an educational formalization project Isabelle graph theory library/tutte\_theorem at c5bcc149ad868d1bb6667f3d2fb48013ca8c588f, 2024
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.915025Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation bf29b78a-011a-4edf-820e-6ba68c35049a · outbound
This paper cites A taxonomy for learning, teaching, and assessing: A revision of Bloom's taxonomy of educational objectives: complete edition.
Tutte's theorem as an educational formalization project A taxonomy for learning, teaching, and assessing: A revision of Bloom's taxonomy of educational objectives: complete edition
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.905359Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 1561dda7-49db-4f81-bc23-7a081b798f1b · outbound
This paper cites The solution of the four-color-map problem.
Tutte's theorem as an educational formalization project The solution of the four-color-map problem
Reference 4
- Resolution
- verified exact
- raw_fallback, observed 2026-08-16T10:27:51.655399Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation df8d545b-de6e-45e5-963a-8214bcb499ff · outbound
This paper cites Theorem proving in lean 4, 2025.
Tutte's theorem as an educational formalization project Theorem proving in lean 4, 2025
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.894886Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 56cf807e-728a-4f19-ae80-fb67150f6cf2 · outbound
This paper cites Mathematics in lean, 2020.
Tutte's theorem as an educational formalization project Mathematics in lean, 2020
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.885314Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e3042329-6e02-4ec8-b5db-895187d79cec · outbound
This paper cites Functional programming in lean, 2022.
Tutte's theorem as an educational formalization project Functional programming in lean, 2022
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.875641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation c788faf2-4d3a-4d8d-9182-b14957e46aec · outbound
This paper cites The Lean Language Reference , 2025.
Tutte's theorem as an educational formalization project The Lean Language Reference , 2025
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.866049Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 233d45f2-6537-407a-a598-1ef7a89fa2a3 · outbound
This paper cites Graph theory , volume 173 of Graduate Texts in Mathematics.
Tutte's theorem as an educational formalization project Graph theory , volume 173 of Graduate Texts in Mathematics
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:27:51.168605Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 27ef3977-08c7-414a-a574-ad59cc44d996 · outbound
This paper cites Undirected graph theory.
Tutte's theorem as an educational formalization project Undirected graph theory
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.855938Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 9c883f4f-bd67-430e-b405-6fe32eebfcf8 · outbound
This paper cites A superlinear bound on the number of perfect matchings in cubic bridgeless graphs.
Tutte's theorem as an educational formalization project A superlinear bound on the number of perfect matchings in cubic bridgeless graphs
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-16T10:27:51.330206Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 1f445795-a047-4db2-b1ab-ab21d7e216e5 · outbound
This paper cites Refactoring: improving the design of existing code.
Tutte's theorem as an educational formalization project Refactoring: improving the design of existing code
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.846305Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 46520622-2e83-4355-817f-9046cb07b92c · outbound
This paper cites A Semantic Search Engine for Mathlib4.
Tutte's theorem as an educational formalization project A Semantic Search Engine for Mathlib4
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:27:51.184050Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b0bab61d-f54f-4ac1-b5b6-095f54f64d02 · outbound
This paper cites Formal proof--the four-color theorem.
Tutte's theorem as an educational formalization project Formal proof--the four-color theorem
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.834907Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 74dd3996-21e8-427c-82b7-d94f66a770fc · outbound
This paper cites On a conjecture of Marton.
Tutte's theorem as an educational formalization project On a conjecture of Marton
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:27:51.191514Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 70243391-0b90-442e-8c02-3cb912b21422 · outbound
This paper cites Formalizing Hall's Marriage Theorem in Lean.
Tutte's theorem as an educational formalization project Formalizing Hall's Marriage Theorem in Lean
Reference 16
- Resolution
- verified exact
- local_arxiv, observed 2026-08-16T10:27:51.575570Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 17cc45a3-8793-49f5-94e9-f3e58fc94f3a · outbound
This paper cites an unresolved cited work.
Tutte's theorem as an educational formalization project Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T10:27:51.823888Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation b9c0c52c-4aa2-4a2e-a765-8dd334a996c3 · outbound
This paper cites Aesop: White-box best-first proof search for lean.
Tutte's theorem as an educational formalization project Aesop: White-box best-first proof search for lean
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:27:51.207024Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b31c76a3-ac97-4efd-8135-422ef49b8eef · outbound
This paper cites Matching theory , volume 367.
Tutte's theorem as an educational formalization project Matching theory , volume 367
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.813550Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 82a475aa-dcfb-4976-bb33-9901332ef7e0 · outbound
This paper cites The mechanics of proof, 2023.
Tutte's theorem as an educational formalization project The mechanics of proof, 2023
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.802649Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 1087d4b8-68c4-4b85-a1fa-cc2f526fea1d · outbound
This paper cites Teaching Mathematics Using Lean and Controlled Natural Language.
Tutte's theorem as an educational formalization project Teaching Mathematics Using Lean and Controlled Natural Language
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:27:51.217849Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f8842bf5-9e81-47c4-88f1-748ed48bc746 · outbound
This paper cites Research report - Proof assistants for teaching: a survey.
Tutte's theorem as an educational formalization project Research report - Proof assistants for teaching: a survey
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.790906Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 9c78e1ea-f644-4aa6-9766-111edfeb2295 · outbound
This paper cites A graph library for isabelle.
Tutte's theorem as an educational formalization project A graph library for isabelle
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.780141Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0d1544e8-3a4e-4321-b9bd-a5f7313b3b1f · outbound
This paper cites Counting matchings in cubic graphs, 2014.
Tutte's theorem as an educational formalization project Counting matchings in cubic graphs, 2014
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.769324Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 6db27f7f-fadd-4d67-b0ed-0d49bdcf2493 · outbound
This paper cites Investigations in Graph-theoretical Constructions in Homotopy Type Theory.
Tutte's theorem as an educational formalization project Investigations in Graph-theoretical Constructions in Homotopy Type Theory
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.759157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 80bd992c-f6a2-4f3f-b5be-8169df6652b6 · outbound
This paper cites Formalization of some central theorems in combinatorics of finite sets.
Tutte's theorem as an educational formalization project Formalization of some central theorems in combinatorics of finite sets
Reference 27
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-16T10:27:51.312581Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 72d79ffa-5203-4c8d-87c8-06de5dd74b01 · outbound
This paper cites A constructive formalization of the weak perfect graph theorem.
Tutte's theorem as an educational formalization project A constructive formalization of the weak perfect graph theorem
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:27:51.240303Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 627108c1-bd79-493a-abb5-c1c941c028f5 · outbound
This paper cites Teaching of formal methods for software engineering.
Tutte's theorem as an educational formalization project Teaching of formal methods for software engineering
Reference 29
- Resolution
- verified exact
- doi, observed 2026-08-16T10:27:51.300661Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 54a73e28-4eca-448c-8655-dea965037994 · outbound
This paper cites Learning about proof with the theorem prover lean: the abundant numbers task.
Tutte's theorem as an educational formalization project Learning about proof with the theorem prover lean: the abundant numbers task
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:27:51.247614Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 99652a65-5b2a-4cf8-9b42-3fa059b59877 · outbound
This paper cites On a system of computer-aided instruction of logic.
Tutte's theorem as an educational formalization project On a system of computer-aided instruction of logic
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.748755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e14e5d6e-5b4f-48dd-94e1-b3258f093bc2 · outbound
This paper cites The factorization of linear graphs.
Tutte's theorem as an educational formalization project The factorization of linear graphs
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:27:51.254782Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d2cf4b11-b596-43f6-a23a-079a3d83d7f8 · outbound
This paper cites Waterproof: Transforming a proof assistant into an educational tool.
Tutte's theorem as an educational formalization project Waterproof: Transforming a proof assistant into an educational tool
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.731234Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ca1bcf21-c362-483a-a8de-9899aa9fc255 · outbound
This paper cites Isabelle/Isar---a versatile environment for human-readable formal proof documents.
Tutte's theorem as an educational formalization project Isabelle/Isar---a versatile environment for human-readable formal proof documents
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T10:27:51.718713Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Pith citing papers
No inbound Pith citation observations are available.