Skip to content
/ APG Public

Coq Implementation of Algebraic Property Graphs

License

AGPL-3.0 license
8 stars 2 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

CategoricalData/APG

BranchesTags

Folders and files

NameName
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
 
 

Repository files navigation

Coq

Coq Implementation of Algebraic Property Graphs and Monad Comprehension Calculus.

About

Coq Implementation of Algebraic Property Graphs

Resources

Readme

License

AGPL-3.0 license
Activity
Custom properties

Stars

8 stars

Watchers

10 watching

Forks

2 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •  

Languages