stablesort
Stable sort algorithms and their stability proofs in Coq
22 stars
2 watching
1 forks
Language: Coq
last commit: 24 days ago
Linked from 2 awesome lists
coqinsertion-sortmathcompmergesortsorting-algorithmsssreflect
coq-community/awesome-coq
uhub/awesome-coq