Coke County is a county in the U.S. state of Texas. In 2020, 3,285 people lived there.^[1] The county seat is Robert Lee.

This short article about a place or feature in the United States can be made longer. You can help Wikipedia by adding to it.