GitHub - rnrand/VPHL: Coq development for VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs, MFPS 2015 · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.gitignore		.gitignore
Distributions.html		Distributions.html
Distributions.v		Distributions.v
Files		Files
Intervals.html		Intervals.html
Intervals.v		Intervals.v
Makefile		Makefile
PrImp.html		PrImp.html
PrImp.v		PrImp.v
SfLib.html		SfLib.html
SfLib.v		SfLib.v
VPHL.html		VPHL.html
VPHL.v		VPHL.v
coqdoc.css		coqdoc.css
index.html		index.html

About

Coq development for VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs, MFPS 2015

6 stars

4 watching

Report repository

Releases

Packages

Contributors

Languages