Manu präsentiert die erstaunlichen Ergebnisse, die wir mit AMO-Lean für die Ethereum-Community erzielt haben. Wir werden sie in einem neuen Papier und Blogbeitrag vorstellen.