hdcoind

A Coinduction Proof Rule for Hoare Doubles

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
paco		paco
.gitignore		.gitignore
Bisimulation.v		Bisimulation.v
CoInduction.v		CoInduction.v
Heap.v		Heap.v
HoareDoubles.v		HoareDoubles.v
HoareDoublesI.v		HoareDoublesI.v
LICENSE		LICENSE
Makefile		Makefile
OpSem.v		OpSem.v
Predicates.v		Predicates.v
README.md		README.md
Safety.v		Safety.v
SafetyI.v		SafetyI.v
Syntax.v		Syntax.v
TitleCaseExample.v		TitleCaseExample.v
Util.v		Util.v
_CoqProject		_CoqProject

Provide feedback