Check out lemmafit, which streamlines the dafny-replay methodology. This project started as a verified replay (undo/redo) kernel for UI state—hence the name—and has grown into a broader exploration of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results