The Piazza dei Miracoli, formally known as Piazza del Duomo