Formally verified compilers will be important in the age of widely available cyber models
Let's build a formally verified compiler together
Collaborative automated research can be an amazing tool for formal verification, and vice versa
We're launching two new challenges on @paradigm Puzzles to help complete Solidus: a formally verified Solidity compiler in Lean
🧵
もっと見る
