Estadísticas de visualización y descarga
Número total de visitas
desde el momento de su depósito en el Repositorio CONICET Digital
| Título | Visualizaciones | Descargas |
|---|---|---|
| Mtac: A monad for typed tactic programming in Coq | 172 | 85 |
Visitas al mes
de los últimos 6 meses
| enero 2025 | febrero 2025 | marzo 2025 | abril 2025 | mayo 2025 | junio 2025 | julio 2025 |
|---|---|---|---|---|---|---|
| 10 | 15 | 5 | 7 | 16 | 17 | 5 |
Cantidad de accesos por país
| Visualizaciones | |
|---|---|
| Estados Unidos | 79 |
| Holanda | 23 |
| Suiza | 15 |
| Francia | 5 |
| Canadá | 4 |
| Argentina | 3 |
| Brasil | 2 |
| Alemania | 2 |
| Hong Kong | 2 |
| Chile | 1 |
| Sin datos* | 36 |
Cantidad de accesos por ciudad
| Visualizaciones | |
|---|---|
| Boydton | 14 |
| Ashburn | 13 |
| San Ramon | 5 |
| Columbus | 3 |
| Fairfield | 3 |
| Cambridge | 2 |
| Paris | 2 |
| San Diego | 2 |
| Abha | 1 |
| Bursa | 1 |
| Sin datos* | 126 |
*Sin datos: En origen no se informa País o Ciudad.