Is this double ko played reasonably by AlphaGo Zero and AlphaGo Lee?
There is a difference between the two semi-stable double ko positions, although a rather small one. C14 reduces the immediate number of liberties of the G13 leg. This means that black will have a free tempo when G13 runs out of liberties, if we assume that black can find a big enough ko threat to answer the C13 capture with C14 in order to force the B15 gote.

Assuming black still has a big enough ko threat when G13 runs out of liberties, the value of keeping the one liberty at C14 filled is most likely 1 point (turning a one point sente for white to a reverse-sente, as we can infer from what happens later in the game), so the two-move sequence of capturing the double ko at C13/C14 followed by an answer as A13/A14 has a (ko-related) miai value of 1 for both players. That explains why both players take the opportunity to capture this double ko whenever they can.

An other way to put it is to attribute an average of 4.5 liberties to the G13 group (alternating between 4 and 5), with white being able to force it up when they need it if black can't find a big enough ko threat.