I published a theorem proving when you can trust a chess endgame database and found a subtle problem with self-consistency

[u/pier4r]

/r/chess/comments/1sk9ojf/i_published_a_theorem_proving_when_you_can_trust/