Immutable source snapshot
Bondy's Minimum-Degree Longest-Cycle Conjecture source at 9e13b044d882
This permanent route identifies the exact Git snapshot used by the recorded Lean theorem. The complete checked import closure, source footprint, downloads, and checker evidence are available on the source page.
Git commit9e13b044d8821b587935fa3019d913699eadffa2
Recorded theorem endpoint
Bondy.bondy_longest_cycle
The companion paper presents a candidate proof of Bondy's minimum-degree longest-cycle conjecture. Paper-to-formal-statement alignment is under review. Lean checks only the exact displayed endpoint Bondy.bondy_longest_cycle at the audited source commit; its 204-module first-party cone reports only standard classical foundations.