Verified Software > Tarjan and Kosaraju

Verified implementations of algorithms for topological sorting and finding strongly connected components in finite graphs.