zkElton
@zkelton
Thoughts on building an Eth execution layer with LEAN4? We could write both the spec AND the implementation in the same language. Seems promising but I’d like to hear more.
0 reply
0 recast
0 reaction