Answer
The population of San Marino in 2020 was 12,513, according to the official census conducted that year. This figure represents a slight increase from the previous census in 2015, when the population was recorded as 12,433. The population of San Marino has been relatively stable in recent years, with a gradual upward trend.