Building a React App with Formally Verified State
Building a React App with Formally Verified State
midspiral.com
Building a React App with Formally Verified State
A React developer builds a real app using formal verification. This is a chronological build log: the spec design, the integration hell, and what it subjectively felt like.
