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 |