The solution of 《software-fundations I》

在Coq的入门阶段，我主要是参阅的《Software fundations》这册书的第一卷。第一卷整体来说，对于初学者，做起来还是有些吃力的。完成进度如下：

Situations

Name		Name	Last commit message	Last commit date
Latest commit History 33 Commits
Auto.v		Auto.v
Basics.v		Basics.v
Imp.v		Imp.v
ImpCEvalFun.v		ImpCEvalFun.v
ImpParser.v		ImpParser.v
IndPrinciples.v		IndPrinciples.v
IndProp.v		IndProp.v
Induction.v		Induction.v
LICENSE		LICENSE
Lists.v		Lists.v
Logic.v		Logic.v
Maps.v		Maps.v
Poly.v		Poly.v
ProofObjects.v		ProofObjects.v
README.md		README.md
Rel.v		Rel.v
Tactics.v		Tactics.v