Tarjan and Kosaraju 1.0.0
Initial release of the Coq/mathcomp formalization of Tarjan and Kosaraju Strongly Connected Components algorithms.
Compiles with Compatible Coq 8.10 to 8.14 and MathComp ssreflect 1.12 or 1.13.
Initial release of the Coq/mathcomp formalization of Tarjan and Kosaraju Strongly Connected Components algorithms.
Compiles with Compatible Coq 8.10 to 8.14 and MathComp ssreflect 1.12 or 1.13.