We were hotter than Venus was at the time, before the Cyanobacteria Oxygenation Extinction event a few billion years ago

Technically Venus would be way easier than Mars to terraform. Throw oceans worth of ice asteroids at the planet and seed it with cyanobacteria, and wait. They’ll eat up all that tasty methane.