Repository Index

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm