¡Nueva versión de hevm lanzada! Esta versión trae mejoras en varios aspectos: ✅ Mejora de la usabilidad ✅ Rendimiento más rápido ✅ Inspección de código más profunda ✅ Más garantías de corrección Un gran paso adelante para las pruebas formales de EVM.