1) go back to the initial commit 2) tell sol to port (parts of) the system to lean, converting code into lean definitio…
By dan
1) go back to the initial commit 2) tell sol to port (parts of) the system to lean, converting code into lean definitions and tests to lean proofs 3) repeat for each commit where the system significantly evolved; update definitions and proofs to account for new constraints expressed as theorems