GitHub repository: Karmaki/coq-dpdgraph
Primary language: Coq
Description: Build dependency graphs between COQ objects