Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph by Stephan Merz 📧 and Vincent Trélat 📧 Aug 17