Martinsson-Steiner Conjecture on Fractional Chromatic Number
Prior state unknown→proved
girth >= 5 case; the triangle-free case remains open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Graph coloring
girth >= 5 case; the triangle-free case remains open
Temporal state
No reconciled state yet.
Append-only history
girth >= 5 case; the triangle-free case remains open
Research memory
girth >= 5 case; the triangle-free case remains open
girth >= 5 case; the triangle-free case remains open
Evidence graph
parent of · claim · theorem
parent of · event · claim reported