Coke County is a county located on the Edwards Plateau in the U.S. state of Texas. As of the 2020 census, its population was 3,285. Its county seat is Robert Lee. The county was founded in 1889 and is named for Richard Coke, the 15th governor of... Wikipedia