GitHub - kolya-vasiliev/software-foundations: My solutions to exercises in "Software Foundations" (Benjamin Pierce et al.) These are for 2014-2015 version of the book.

My solutions to exercises in "Software Foundations" (Benjamin Pierce et al.)

Name		Name	Last commit message	Last commit date
Latest commit History 30 Commits
Basics.v		Basics.v
Equiv.v		Equiv.v
Extraction.v		Extraction.v
Imp.v		Imp.v
ImpCEvalFun.v		ImpCEvalFun.v
ImpParser.v		ImpParser.v
Induction.v		Induction.v
Lists.v		Lists.v
Logic.v		Logic.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
Rel.v		Rel.v
SfLib.v		SfLib.v
impdriver.ml		impdriver.ml

Provide feedback