8 ms·Building a React App with Formally Verified State3 points by namin 9mo agodeleted 9mo ago[deleted]