Coq

Coq Implementation of Algebraic Property Graphs and Monad Comprehension Calculus.

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.gitignore		.gitignore
APG.v		APG.v
APG_old.v		APG_old.v
LICENSE		LICENSE
README.md		README.md
caml.pdf		caml.pdf
caml.v		caml.v

Provide feedback