county in Texas, United States
Coke County is a county located in Texas. It is one of many counties that make up the state's local government structure.
AI-generated from the Wikipedia summary — may contain errors.
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 Texas and later a U.S. senator. Coke County was one of 46 prohibition, or entirely dry, counties in Texas, but passed a law allowing the sale of beer and wine in 2005.
History
via Wikipedia infobox
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).