Nouvelle version de hevm disponible ! Cette version apporte des améliorations sur plusieurs fronts : ✅ Meilleure convivialité ✅ Performances plus rapides ✅ Inspection de code plus approfondie ✅ Plus de garanties de correction Un grand pas en avant pour les tests formels de l'EVM.