Checkpoint a bit of progress on proving [atomic_cp_recover_ok].
Checkpoint a bit of progress on proving [atomic_cp_recover_ok].

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl