Proxy

A proxy to interface concurrent Coq programs with the operating system.

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
extraction		extraction
website		website
.gitignore		.gitignore
Dockerfile		Dockerfile
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
coqConcurrencyProxy.ml		coqConcurrencyProxy.ml
heap.ml		heap.ml
test.ml		test.ml

Navigation Menu