Author (s): Kazuhiko Sakaguchi (initial) Cyril Cohen License: CeCILL-B Free Software License Agreement Compatible Rocq/Coq versions: 8.19 or later Additional dependencies: MathComp ssreflect 2.3.0 or ...

Add this topic to your repo To associate your repository with the sort-algorithms topic, visit your repo's landing page and select "manage topics." Learn more ...