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