Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Stable sort algorithms and their stability proofs in Rocq
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]