Seulkee Baek
Seulkee Baek authored Jaune, an executable Ethereum execution-layer specification in Lean 4, and Blanc, a smart contract compilation stack verified against it. Baek also contributes to Ethereum's execution specifications.
Seulkee Baek authored Jaune, an executable Ethereum execution-layer specification in Lean 4, and Blanc, a smart contract compilation stack verified against it. Baek also contributes to Ethereum's execution specifications.