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 | 480 |
Visitas totales por mes
views | |
---|---|
February 2024 | 0 |
March 2024 | 0 |
April 2024 | 0 |
May 2024 | 2 |
June 2024 | 0 |
July 2024 | 0 |
August 2024 | 0 |
Visitas de archivo
views | |
---|---|
Vanzetto.pdf | 661 |
Vistas principales por país
views | |
---|---|
United States | 221 |
France | 35 |
Mexico | 35 |
China | 30 |
Argentina | 22 |
Germany | 16 |
United Kingdom | 16 |
Italy | 11 |
Czechia | 7 |
Austria | 5 |
Vietnam | 5 |
Switzerland | 2 |
Spain | 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 |
Mexico | 19 |
White Plains | 16 |
Buenos Aires | 15 |
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 |
Chicago | 2 |
Palaiseau | 2 |
Seoul | 2 |
Slapanice | 2 |
University Park | 2 |
Zürich | 2 |
Abingdon | 1 |
Barnoldswick | 1 |
Beaverton | 1 |
Cambridge | 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 |
Santa Clara | 1 |
Sevilla | 1 |
Solna | 1 |
Toronto | 1 |
Tustin | 1 |
Vila Nova De Gaia | 1 |
Wilmington | 1 |