Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Topological Sort

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Topological Sort


Chronological Thread 
  • From: Gabriel Scherer <gabriel.scherer AT gmail.com>
  • To: Coq Club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Topological Sort
  • Date: Fri, 30 Jan 2015 17:54:35 +0100

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.



Archive powered by MHonArc 2.6.18.

Top of Page