Let’s suppose I downloaded, for example, Compcert development from Github and want to see dependency graph to better understand order in which to study all the files. Is there some tool to draw nice picture of the graph?

Tool for drawing coq project dependency graph?

ppedrot March 2, 2020, 1:32pm 4

@anton-trunov note that this coqdep feature has just been removed in the master branch.

Topic		Replies	Views
Proposal: a custom build tool for Coq projects Developing the Coq system	14	1981	April 12, 2019
Building a project with coq_makefile, using a library specified in .coqrc Using Coq	0	684	January 25, 2022
Coq Community Survey 2022 Results: Part IV and ITP paper announcement Announcements	0	7105	July 28, 2023
Can the Equations plugin generate a graph that does not reference the original function? Using Coq coq-equations	1	546	September 22, 2021
Official place to learn how to setup Coq make files for beginner Using Coq	14	2637	May 17, 2023