Statistics
Total Visits
| Views | |
|---|---|
| Formalization ... | 118 |
Total Visits per Month
| October 2023 | November 2023 | December 2023 | January 2024 | February 2024 | March 2024 | April 2024 | |
|---|---|---|---|---|---|---|---|
| Formalization ... | 14 | 0 | 1 | 10 | 8 | 0 | 17 |
File Downloads
| Views | |
|---|---|
| Formalization and Proofs.pdf | 34 |
Top Country Views
| Views | |
|---|---|
| Spain | 47 |
| Ireland | 25 |
| United States | 21 |
| China | 13 |
| Slovenia | 6 |
| Vietnam | 3 |
| Belgium | 2 |
| France | 1 |
Top City Views
| Views | |
|---|---|
| Barcelona | 39 |
| Dublin | 25 |
| Changning | 13 |
| Chandler | 9 |
| New York | 8 |
| Koper | 6 |
| Hanoi | 3 |
| Brussels | 2 |
| Premia de Mar | 2 |
| Puertollano | 2 |