GitHub repository: rocq-community/coq-dpdgraph
Primary language: Coq
Description: Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]