Name		Name	Last commit message	Last commit date
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

Repository files navigation

hdcoind

A Coinduction Proof Rule for Hoare Doubles

About

A Coinduction Proof Rule for Hoare Doubles

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages