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 |