Yes, those two places do have Rainbow Trout stocked in them. There's also Jacobson Park Lake (East Richmond Rd) and the Southland Church Lake (Harrodsburg Rd just over the Jessamine Co line) that are also designated as FIN's lakes.
Best tip I can give you to ensure success would be to fish these places as soon after stocking as possible. Stocking schedules link : https://fw.ky.gov/fish/pages/planned...-schedule.aspx
I've caught them on Crappie Nibbles, pieces of nightcrawler, and even on chicken liver. Even caught them on a Road Runner. (all were caught while fishing at Jacobson Park Lake)
Here's a link to state streams that are stocked : https://fw.ky.gov/FishBoatGuide/Pages/Trout-Waters.aspx