Estadísticas de Formalización de la aritmética de TLA+ en el asistente de pruebas Isabelle
Visitas totales
| views | |
|---|---|
| Formalización de la aritmética de TLA+ en el asistente de pruebas Isabelle | 497 |
Visitas totales por mes
| views | |
|---|---|
| August 2025 | 2 |
| September 2025 | 0 |
| October 2025 | 0 |
| November 2025 | 1 |
| December 2025 | 0 |
| January 2026 | 0 |
| February 2026 | 0 |
Visitas de archivo
| views | |
|---|---|
| Vanzetto.pdf | 736 |
Vistas principales por país
| views | |
|---|---|
| United States | 222 |
| Argentina | 37 |
| France | 35 |
| Mexico | 35 |
| China | 30 |
| Germany | 16 |
| United Kingdom | 16 |
| Italy | 11 |
| Czechia | 7 |
| Austria | 5 |
| Vietnam | 5 |
| Spain | 3 |
| Switzerland | 2 |
| South Korea | 2 |
| Nigeria | 2 |
| Senegal | 2 |
| Canada | 1 |
| Ecuador | 1 |
| European Union | 1 |
| Poland | 1 |
| Portugal | 1 |
| Sweden | 1 |
Visitas principales por ciudad
| views | |
|---|---|
| Sunnyvale | 60 |
| Roubaix | 32 |
| Buenos Aires | 19 |
| Mexico | 19 |
| White Plains | 16 |
| Kiez | 13 |
| Indianapolis | 11 |
| Shenzhen | 10 |
| Mountain View | 9 |
| Warrington | 9 |
| Milan | 6 |
| Washington | 6 |
| Brno | 5 |
| Dong Ket | 5 |
| Rosario | 5 |
| Seattle | 5 |
| Vienna | 5 |
| Baltimore | 3 |
| Fairfield | 3 |
| Alexandria | 2 |
| Ann Arbor | 2 |
| Casilda | 2 |
| Chicago | 2 |
| La Plata | 2 |
| Palaiseau | 2 |
| Seoul | 2 |
| Slapanice | 2 |
| University Park | 2 |
| Zürich | 2 |
| Abingdon | 1 |
| Barnoldswick | 1 |
| Beaverton | 1 |
| Cambridge | 1 |
| Comodoro Rivadavia | 1 |
| Falls Church | 1 |
| Guayaquil | 1 |
| Gunzenhausen | 1 |
| Houston | 1 |
| Kraków | 1 |
| Lake Forest | 1 |
| Leipzig | 1 |
| Madrid | 1 |
| Marcos Paz | 1 |
| Milton Keynes | 1 |
| Munich | 1 |
| Paris | 1 |
| Paso de los Libres | 1 |
| Salta | 1 |
| Santa Clara | 1 |
| Sevilla | 1 |
| Solna | 1 |
| Toronto | 1 |
| Tustin | 1 |
| Vila Nova De Gaia | 1 |
| Wilmington | 1 |
| Zaragoza | 1 |