Estadístiques
Nombre total de visites
| Visualitzacions | |
|---|---|
| Formalization ... | 118 |
Nombre total de visites mensuals
| d’octubre 2023 | de novembre 2023 | de desembre 2023 | de gener 2024 | de febrer 2024 | de març 2024 | d’abril 2024 | |
|---|---|---|---|---|---|---|---|
| Formalization ... | 14 | 0 | 1 | 10 | 8 | 0 | 17 |
Arxius descarregats
| Visualitzacions | |
|---|---|
| Formalization and Proofs.pdf | 34 |
Rànquing de visites per país
| Visualitzacions | |
|---|---|
| Espanya | 47 |
| Irlanda | 25 |
| Estats Units | 21 |
| Xina | 13 |
| Eslovènia | 6 |
| Vietnam | 3 |
| Bèlgica | 2 |
| França | 1 |
Rànquing de visites per ciutat
| Visualitzacions | |
|---|---|
| Barcelona | 39 |
| Dublin | 25 |
| Changning | 13 |
| Chandler | 9 |
| New York | 8 |
| Koper | 6 |
| Hanoi | 3 |
| Brussels | 2 |
| Premia de Mar | 2 |
| Puertollano | 2 |