Programming @programming.dev cm0002 @libretechni.ca 5mo ago Building a React App with Formally Verified State midspiral.com /blog/building-a-react-app-with-formally-verified-state/