We chose Terraform over CloudFormation as we want to be as provider-agnostic as possible, and because HCL is more readable and easier to validate. Also, this allows us to interpolate values from different providers to take automation to the next level.
