TodoMVC - Formally Verified with Lean 4

Loading Formally Verified TodoMVC

Initializing WebAssembly module...

This may take a few seconds on first load

Failed to Load Application

Please check the browser console for more details

Double-click to edit a todo

Created with Lean 4

Formally verified implementation

Part of TodoMVC