Giters

palmskog / rvdpdgraph

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

RV dpdgraph

Build dependency graphs between Coq objects, where Coq is the famous formal proof management system.

Derived from coq-dpdgraph.

About

License:GNU Lesser General Public License v2.1

Languages

Language:Coq 67.6%Language:OCaml 30.9%Language:Batchfile 1.1%Language:Makefile 0.5%