Samir Genaim

1 talk by Samir Genaim

• Formally Verifying YUL Level Static Analyses and Optimization with Coq