Hi!

Thanks for your interest in what we’re building at Midspiral. We’re bringing formal verification into mainstream web development. This is the first update email we’re sending out.

We just published a detailed writeup of what it was like to build a React app with formally verified state. It’s a step-by-step log of how I (a React developer, not a formal verification expert) used the dafny-replay system to build a simple, but real and useful app. It was delightful! https://midspiral.com/blog/building-a-react-app-with-formally-verified-state/

It's early days for us, and we really appreciate the support. Every subscriber, every piece of feedback, every share helps us refine our vision and direction.

I'll send occasional updates like this when we ship something worth sharing (new tools, major updates, build stories, etc).

~fernanda

Github | LinkedIn