olaure01 / coq-dpdgraph Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
License: GNU Lesser General Public License v2.1