coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq-graphs

From: Eric Mullen <emullen AT cs.washington.edu>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Coq-graphs
Date: Mon, 24 Nov 2014 05:15:12 +0000

I'm interested in building a tool to visualize theorem/lemma dependencies and proof status (admitted or proven) in order to help with project management of large verification projects. I found the website for this tool (http://www-sop.inria.fr/lemme/coq-graphs/) but both of the download links give me back ERR_FTP_FAILED. Is there another way I could get this tool, or is there a proper person for me to contact about the links being bad?

Thanks!

Eric Mullen

University of Washington

[Coq-Club] Coq-graphs, Eric Mullen, 11/24/2014
- Re: [Coq-Club] Coq-graphs, Jason Gross, 11/24/2014
  - Re: [Coq-Club] Coq-graphs, Eric Mullen, 11/24/2014
    - Re: [Coq-Club] Coq-graphs, Frédéric Blanqui, 11/24/2014
      - Re: [Coq-Club] Coq-graphs, gallais, 11/24/2014
        
        Re: [Coq-Club] Coq-graphs, Jason Gross, 11/25/2014
        
        Re: [Coq-Club] Coq-graphs, gallais, 11/26/2014
        
        Re: [Coq-Club] Coq-graphs, Jean-Francois Monin, 11/26/2014