Redirecting from /updates/building-a-react-app-with-formally-verified-state/ to https://midspiral.com/blog/building-a-react-app-with-formally-verified-state/