Dan Robinson(@danrobinson):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 🧵

Dan Robinson

@danrobinson

coder / lawyer. research at @paradigm. automated research reply guy

Joined March 2011

1.4K Following 85.2K Followers

Dan Robinson@danrobinson

2026.07.24 16:26

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 🧵