coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
86 stars
8 watching
27 forks
Language: Coq
last commit: 26 days ago
Linked from 2 awesome lists
coqcoq-cicoq-platformdependency-analysisdependency-graphdocker-coq-action
uhub/awesome-coq