GitHub repository: CohenCyril/tarjan
Primary language: Coq
Created: 2017-03-09T14:05:24Z
Description: Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssreflect