sf

exercises from "Software Foundations"

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
Auto.v		Auto.v
Basics.v		Basics.v
Equiv.v		Equiv.v
Extraction.v		Extraction.v
Hoare.v		Hoare.v
Hoare2.v		Hoare2.v
HoareAsLogic.v		HoareAsLogic.v
Imp.v		Imp.v
ImpCEvalFun.v		ImpCEvalFun.v
ImpParser.v		ImpParser.v
Induction.v		Induction.v
LibTactics.v		LibTactics.v
Lists.v		Lists.v
Logic.v		Logic.v
MoreCoq.v		MoreCoq.v
MoreInd.v		MoreInd.v
MoreLogic.v		MoreLogic.v
MoreStlc.v		MoreStlc.v
Norm.v		Norm.v
PE.v		PE.v
Poly.v		Poly.v
Postscript.v		Postscript.v
Preface.v		Preface.v
ProofObjects.v		ProofObjects.v
Prop.v		Prop.v
README.md		README.md
RecordSub.v		RecordSub.v
Records.v		Records.v
References.v		References.v
Rel.v		Rel.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
Typechecking.v		Typechecking.v
Types.v		Types.v
UseAuto.v		UseAuto.v
UseTactics.v		UseTactics.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