Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly
Coq11
9 months ago
coqmathcompmathcomp-ci
Functional Algorithms Verified in SSReflect
Coq32
last year
Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssr
Coq9
coqmathcompssreflect