Content
@
https://warpcast.com/~/channel/eth-security
0 reply
0 recast
0 reaction
Juuso
@juuso
Nethermind is seemingly developing a formal model of EVM and Yul in Lean4: https://github.com/NethermindEth/EVMYulLean Though it's quite light on theorems and algebraic proofs, at least for now
0 reply
0 recast
1 reaction
