Kahn's flow conjecture
Prior state unknown→proved
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review