The Coq mailing list

[Gabriel Scherer <gabriel.scherer AT gmail.com>]

The CoLoR library
  http://color.inria.fr/
describes topological sorts
  http://color.inria.fr/doc/CoLoR.Util.Relation.Total.html#topo_sortable
  http://color.inria.fr/doc/CoLoR.Util.Relation.SCCTopoOrdering.html

You may also be interested in the formalization style of François
Pottier's DFS and SCC library:
  http://gallium.inria.fr/~fpottier/publis/fpottier-dfs-scc.pdf
  http://gallium.inria.fr/~fpottier/dfs/dfs.tar.gz

On Fri, Jan 30, 2015 at 5:30 PM, Terrell, Jeffrey
<jeffrey.terrell AT kcl.ac.uk>
 wrote:
> Does anyone know if the topological sort of a directed acyclic graph has 
> been specified in Coq?
>
> Thanks.
>
> Regards,
> Jeff.