coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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.
- [Coq-Club] Topological Sort, Terrell, Jeffrey, 01/30/2015
- Re: [Coq-Club] Topological Sort, Gabriel Scherer, 01/30/2015
Archive powered by MHonArc 2.6.18.