Name		Name	Last commit message	Last commit date
.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

Repository files navigation

Coq

Coq Implementation of Algebraic Property Graphs and Monad Comprehension Calculus.

About

Coq Implementation of Algebraic Property Graphs

AGPL-3.0 license

Custom properties

11 stars

8 watching

Report repository

Releases

Packages

Contributors

Languages