так как тераформировать, если нет атмосферы чисто физически?
Её достаточно много должно быть в породах. Ещё нужно будет завести. Ну и проработать способы и методы. Вызвать извержения пород в огромном количестве.
Это все гипотезы, разумеется, человечество пока такое даже близко не делало.
Да и даже в наших гипотезах и мечтах, терраформирование процесс крайне долгий. Десятки тысяч лет