Estadísticas
Número total de consultas
Total | |
---|---|
Constructing ... | 80 |
Consultas por mes
enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | junio 2024 | julio 2024 | |
---|---|---|---|---|---|---|---|
Constructing ... | 1 | 1 | 4 | 3 | 2 | 5 | 5 |
Descargas
Total | |
---|---|
Constructing Formally Verified Reasoners.pdf | 25 |
Países con más consultas
Total | |
---|---|
Estados Unidos | 22 |
Singapur | 11 |
Reino Unido | 9 |
Alemania | 8 |
Holanda | 6 |
China | 5 |
Suecia | 5 |
Corea del Sur | 3 |
Finlandia | 2 |
Irlanda | 2 |
Ciudades con más consultas
Total | |
---|---|
Solna | 4 |
Ashburn | 2 |
Helsinki | 2 |
New York | 2 |
Oakland | 2 |
Yulee | 2 |
Birmingham | 1 |
Broomfield | 1 |
Des Moines | 1 |
Dublin | 1 |