Software Foundations Solution

Now, I'm studying Coq by this...

process:

Name		Name	Last commit message	Last commit date
VOLUME1_LogicalFoundations		VOLUME1_LogicalFoundations
VOLUME2_ProgrammingLanguageFoundations		VOLUME2_ProgrammingLanguageFoundations
VOLUME3_VerifiedFunctionalAlgorithms		VOLUME3_VerifiedFunctionalAlgorithms
VOLUME4_QuickChickPropertyBasedTestingInCoq		VOLUME4_QuickChickPropertyBasedTestingInCoq
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md