Skip to content

Improve proof of completion_monotonic lemma

Sophie Quinton requested to merge sophie/rt-proofs:rebase into master

Improved proof during the RT-PROOFS meeting.

Merge request reports