Estadísticas
Número total de consultas
Total | |
---|---|
Proof ... | 75 |
Consultas por mes
marzo 2024 | abril 2024 | mayo 2024 | junio 2024 | julio 2024 | agosto 2024 | septiembre 2024 | |
---|---|---|---|---|---|---|---|
Proof ... | 4 | 1 | 6 | 7 | 2 | 7 | 0 |
Descargas
Total | |
---|---|
Proof Pearl, a Formal Proof of Higman's Lemma in ACL2.pdf | 117 |
Países con más consultas
Total | |
---|---|
Estados Unidos | 21 |
Alemania | 11 |
Reino Unido | 10 |
Singapur | 10 |
España | 5 |
China | 4 |
Corea del Sur | 3 |
Francia | 2 |
Polonia | 2 |
Finlandia | 1 |
Ciudades con más consultas
Total | |
---|---|
New York | 2 |
Oakland | 2 |
Ashburn | 1 |
Des Moines | 1 |
Dublin | 1 |
Espartinas | 1 |
Eygelshoven | 1 |
Fairfield | 1 |
Foshan | 1 |
Haikou | 1 |