Refinements

Experiments in formalizing refinement type systems in Coq.

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
TLC		TLC
.gitignore		.gitignore
Definitions.v		Definitions.v
Env.v		Env.v
Infrastructure.v		Infrastructure.v
Makefile		Makefile
Makefile.bak		Makefile.bak
README.md		README.md
Soundness.v		Soundness.v
_CoqProject		_CoqProject

Provide feedback