Formalizations of Tarjan's strongly connected component algorithm

---

1. System : Why3

   Link to the code

   Authors : chenr@ios.ac.cn, jean-jacques.levy@inria.fr

---

2. System : Coq

   Link to the code

   Authors : Cyril.Cohen@inria.fr, Laurent.Thery@inria.fr

---

3. System : Isabelle

   Link to the code

   Author : stephan.merz@inria.fr

---

Other formalisations are welcome! Please send information to Laurent.Thery@inria.fr