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
๐งต
๋ ๋ณด๊ธฐ
