Zellic / weth

Formal verification of WETH9.sol with Z3
55Updated last year

Related projects: