Skip to content

Improve proof of completion_monotonic lemma

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

Minor improvement of the proof of a lemma during RT-PROOFS meeting.

Merge request reports