Stable sort algorithms in Coq

github.comtool

Generic and modular proofs of correctness, including stability, of mergesort functions.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Verified Software: “Generic and modular proofs of correctness, including stability, of mergesort functions.”