As a layman I still think floating stations in Venus’ atmosphere are a much better avenue for inhabiting another planet over trying to terraform mars with magic non-existent tech. Gravity is almost that of earth’s as opposed to like 1/4th or whatever mars’ is. Id say trying to change its atmosphere would also be a worthwhile endeavor if its rotational period wasn’t so freakin long—dont think anyone wants a year long day.
Anyway. I don’t know what I’m talking about so take it with all the grains of salt.
You may not know what you’re talking about, but floating cities in Venus would be baller. ;)