Building a React App with Formally Verified State | Dark Hacker News