Estadísticas
Número total de consultas
| Total | |
|---|---|
| ACL2 ... | 75 |
Consultas por mes
| enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | junio 2024 | julio 2024 | |
|---|---|---|---|---|---|---|---|
| ACL2 ... | 0 | 2 | 8 | 1 | 4 | 7 | 5 |
Descargas
| Total | |
|---|---|
| ACL2 Verification of Simplicial Degeneracy Programs.pdf | 69 |
Países con más consultas
| Total | |
|---|---|
| Estados Unidos | 32 |
| Singapur | 11 |
| Alemania | 7 |
| Reino Unido | 7 |
| España | 6 |
| China | 2 |
| Polonia | 2 |
| Colombia | 1 |
| Indonesia | 1 |
| Irlanda | 1 |
Ciudades con más consultas
| Total | |
|---|---|
| Fairfield | 7 |
| New York | 3 |
| Oakland | 2 |
| Barcelona | 1 |
| Broomfield | 1 |
| Buffalo | 1 |
| Campo Real | 1 |
| Des Moines | 1 |
| Dublin | 1 |
| Jaipur | 1 |