There are no records left, but the attribution to Guarini is virtually undebated. A triple dome in a scanty space: who else could design such a hyperbolic and mathematically complex venue in the late 17th century in Turin?

Guarini is the greatest baroque architect of the 17th century alongside Bernini and Borromini IMHO. Too bad much of his work in Messina, Paris, Prague and Lisbon hasn't survived to date.