Prove `Sorted_reverse`.
Passed
Robbert Krebbers
created pipeline for commit
8dfc9983
, finished
For master
8 minutes 46 seconds, queued for 0 seconds