Estadísticas
Número total de visitas
Visualizaciones | |
---|---|
Formalization ... | 118 |
Número total de visitas mensuales
noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | |
---|---|---|---|---|---|---|---|
Formalization ... | 0 | 1 | 10 | 8 | 0 | 17 | 0 |
Archivos descargados
Visualizaciones | |
---|---|
Formalization and Proofs.pdf | 35 |
Ranking de visitas por país
Visualizaciones | |
---|---|
España | 47 |
Irlanda | 25 |
Estados Unidos | 21 |
China | 13 |
Eslovenia | 6 |
Vietnam | 3 |
Bélgica | 2 |
Francia | 1 |
Ranking de visitas por ciudad
Visualizaciones | |
---|---|
Barcelona | 39 |
Dublin | 25 |
Changning | 13 |
Chandler | 9 |
New York | 8 |
Koper | 6 |
Hanoi | 3 |
Brussels | 2 |
Premia de Mar | 2 |
Puertollano | 2 |