GitHub repository: math-comp/tarjan
Primary language: Coq
Description: Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssreflect