Skip to content

Improve proof of completion_monotonic lemma

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

Improved proof during the RT-PROOFS meeting.

Merge request reports