GitHub - eccstartup/software-foundations: My solutions to the exercises of the book "Software Foundations".

My solutions to the exercises in Software Foundations.

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
.gitignore		.gitignore
Auto.v		Auto.v
Basics.v		Basics.v
Equiv.v		Equiv.v
Extraction.v		Extraction.v
Hoare.v		Hoare.v
Hoare2.v		Hoare2.v
Imp.v		Imp.v
ImpCEvalFun.v		ImpCEvalFun.v
ImpParser.v		ImpParser.v
Induction.v		Induction.v
LICENSE		LICENSE
Lists.v		Lists.v
Logic.v		Logic.v
MoreCoq.v		MoreCoq.v
MoreInd.v		MoreInd.v
MoreLogic.v		MoreLogic.v
MoreStlc.v		MoreStlc.v
Poly.v		Poly.v
Preface.v		Preface.v
ProofObjects.v		ProofObjects.v
Prop.v		Prop.v
README.md		README.md
Review1.v		Review1.v
Review2.v		Review2.v
SfLib.v		SfLib.v
Smallstep.v		Smallstep.v
Stlc.v		Stlc.v
StlcProp.v		StlcProp.v
Sub.v		Sub.v
Symbols.v		Symbols.v
Types.v		Types.v
imp.ml		imp.ml
imp.mli		imp.mli
imp1.ml		imp1.ml
imp1.mli		imp1.mli
imp2.ml		imp2.ml
imp2.mli		imp2.mli
impdriver.ml		impdriver.ml
normdriver.ml		normdriver.ml

Provide feedback