import datetime

def format_date(year: int, month: int, day: int) -> str:
    # Construye y retorna la fecha formateada como "DD/MM/YYYY"
    date = datetime.datetime(year,month,day)
    return date.strftime("%d/%m/%Y")