Remove old `Proof` modules
danmatichuk opened this issue · comments
These are unused at the moment since the weakest precondition verifier was retired, and so right now they are just adding technical debt.
Patches Assured up to Trace Equivalence
danmatichuk opened this issue · comments
These are unused at the moment since the weakest precondition verifier was retired, and so right now they are just adding technical debt.