I was tent camping with my family Thursday-Saturday while visiting Mammoth Cave.
The good: the tent campground has spacious, level sites. The sites are located in a grove of pine trees, which makes for well shaded sites with a pleasant surface of soft pine straw to pitch your tents. A few sites had trees suitable for hanging hammocks if you enjoy that. There are toilets and sinks in the park office near the primitive campsites. There is a swimming beach and boat ramp on Nolin Lake nearby. Convenient to Mammoth Cave NP and fishing and hiking opportunities abound.
The bad: the shower house is in the RV campground and too far away to be a convenient walk. You have to drive there which is a pain with kids. There were few shower stalls and they were not kept clean. The park staff were very friendly but just overworked. Thursday night we were kept awake by loud campers and campground staff weren’t around to enforce quiet hours. Quiet hours do not start until 11 PM which is not ideal for campers with young children. The park started filling up on Friday and Saturday and was obviously very crowded on the weekend. Seems like a "party spot" for locals.
We might return here but perhaps would choose to camp during the week or during a less busy time of year.