coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Terrell, Jeffrey" <jeffrey.terrell AT kcl.ac.uk>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Topological Sort
- Date: Fri, 30 Jan 2015 16:30:39 +0000
- Accept-language: en-GB, en-US
- Authentication-results: inria.fr; dkim=none (message not signed) header.d=none;inria.fr; dmarc=none action=none header.from=kcl.ac.uk;
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.