Skip to content

feat: rm partial / bounds checks in Array.qsort#3933

Closed
digama0 wants to merge 1 commit intoleanprover:masterfrom digama0:qsort_proof
+46-30

Commits

Commits on Apr 17, 2024