Dan Robinson
@danrobinson
coder / lawyer. research at @paradigm. automated research reply guy
加入 March 2011
1.4K 正在关注 85.2K 粉丝
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
🧵
显示更多
