Building a React App with Formally Verified State (by heyyfernanda) — discussion

#formalmethods