GitHub repository: pi8027/stablesort
Primary language: Rocq Prover
Description: Stable sort algorithms and their stability proofs in Rocq