¡Ha llegado la nueva versión de hevm! Esta versión trae mejoras en varios frentes: ✅ Usabilidad mejorada ✅ 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.