Name		Name	Last commit message	Last commit date
Latest commit History 159 Commits
Cpdt		Cpdt
color.1.3.0		color.1.3.0
cpdt		cpdt
software-foundation-8.5		software-foundation-8.5
software-foundation		software-foundation
vc-pf-0.1		vc-pf-0.1
.gitignore		.gitignore
AbstractInter.v		AbstractInter.v
Basic.v		Basic.v
BinaryGroup.v		BinaryGroup.v
CoqArtChapterOne.v		CoqArtChapterOne.v
CoqUtil.v		CoqUtil.v
DependentType.v		DependentType.v
Excercism.v		Excercism.v
Induction.v		Induction.v
InductiveTypes.v		InductiveTypes.v
LICENSE		LICENSE
Lists.v		Lists.v
Logic.v		Logic.v
Monoid.v		Monoid.v
MoreCoq.v		MoreCoq.v
MoreInd.v		MoreInd.v
MoreLogic.v		MoreLogic.v
Poly.v		Poly.v
ProofObjects.v		ProofObjects.v
Prop.v		Prop.v
README.md		README.md
StackMachine.v		StackMachine.v
Unionfind.v		Unionfind.v
Wellfounded.v		Wellfounded.v
sspec5.v		sspec5.v

Repository files navigation

Coq

Coq codes related to software foundation