Número total de consultas

Total
Formal ...92

Consultas por mes

septiembre 2023octubre 2023noviembre 2023diciembre 2023enero 2024febrero 2024marzo 2024
Formal ...0211025

Descargas

Total
Formal Proofs About Rewriting Using ACL2.pdf135

Países con más consultas

Total
Estados Unidos40
China10
Alemania9
Reino Unido7
Holanda6
España5
Corea del Sur3
Chile2
Colombia2
India2

Ciudades con más consultas

Total
Redwood City6
San Francisco5
New York4
Ashburn3
Guangzhou3
Bogota2
Louisville2
Oakland2
Santiago2
Shenzhen2