Estadístiques
Nombre total de visites
Visualitzacions | |
---|---|
Formalization ... | 152 |
Nombre total de visites mensuals
de gener 2024 | de febrer 2024 | de març 2024 | d’abril 2024 | de maig 2024 | de juny 2024 | de juliol 2024 | |
---|---|---|---|---|---|---|---|
Formalization ... | 10 | 8 | 0 | 17 | 2 | 25 | 7 |
Arxius descarregats
Visualitzacions | |
---|---|
Formalization and Proofs.pdf | 182 |
Rànquing de visites per país
Visualitzacions | |
---|---|
Espanya | 54 |
Estats Units | 30 |
Irlanda | 25 |
Singapur | 14 |
Xina | 13 |
Eslovènia | 6 |
Vietnam | 3 |
Austràlia | 2 |
Bèlgica | 2 |
França | 1 |
Rànquing de visites per ciutat
Visualitzacions | |
---|---|
Barcelona | 41 |
Dublin | 25 |
Changning | 13 |
Singapore | 11 |
Chandler | 9 |
Hanover | 8 |
New York | 8 |
Koper | 6 |
Valencia | 6 |
Hanoi | 3 |