nixpkgs / coqPackages.mathcomp-tarjan - Proofs of Tarjan and Kosaraju connected components algorithms

Homepage - https://github.com/math-comp/tarjan

License - CECILL-B

Releases

1.0.0 (expand/collapse)
From commit 00af64ce to 00460bd6