i lift and do the occasional HIIT. in my n=1 world, i have noticed that my performance sucks if i carb up prior to lifting. however, if i eat a big hunk of steak beforehand, i can deadlift the entire planet.
i dont think the extra carbs are necessary if you are truly keto adapted. that last bit is key, however.