Ethereum Foundation grants $100K for Vyper compiler formal verification
The Foundation for Verified Software and Verifereum will build a HOL4-verified compilation mode into the official Vyper compiler.
The Foundation for Verified Software and Verifereum will build a HOL4-verified compilation mode into the official Vyper compiler.