GitHub - allen-liaoo/Coq-Software-Foundations

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.devcontainer		.devcontainer
common		common
.DS_Store		.DS_Store
AltAuto.v		AltAuto.v
AltAutoTest.v		AltAutoTest.v
Auto.v		Auto.v
AutoTest.v		AutoTest.v
Basics.v		Basics.v
BasicsTest.v		BasicsTest.v
Bib.v		Bib.v
BibTest.v		BibTest.v
Extraction.v		Extraction.v
ExtractionTest.v		ExtractionTest.v
Imp.v		Imp.v
ImpCEvalFun.v		ImpCEvalFun.v
ImpCEvalFunTest.v		ImpCEvalFunTest.v
ImpParser.v		ImpParser.v
ImpParserTest.v		ImpParserTest.v
ImpTest.v		ImpTest.v
IndPrinciples.v		IndPrinciples.v
IndPrinciplesTest.v		IndPrinciplesTest.v
IndProp.v		IndProp.v
IndPropTest.v		IndPropTest.v
Induction.v		Induction.v
InductionTest.v		InductionTest.v
LICENSE		LICENSE
Lists.v		Lists.v
ListsTest.v		ListsTest.v
Logic.v		Logic.v
LogicTest.v		LogicTest.v
Makefile		Makefile
Makefile.conf		Makefile.conf
Maps.v		Maps.v
MapsTest.v		MapsTest.v
Poly.v		Poly.v
PolyTest.v		PolyTest.v
Postscript.v		Postscript.v
PostscriptTest.v		PostscriptTest.v
Preface.v		Preface.v
PrefaceTest.v		PrefaceTest.v
ProofObjects.v		ProofObjects.v
ProofObjectsTest.v		ProofObjectsTest.v
README		README
Rel.v		Rel.v
RelTest.v		RelTest.v
Tactics.v		Tactics.v
TacticsTest.v		TacticsTest.v
_CoqProject		_CoqProject
deps.svg		deps.svg
impdriver.ml		impdriver.ml

Repository files navigation

#########################################################################
                           SOFTWARE FOUNDATIONS
#########################################################################

This directory contains both Coq scripts (.v files) and more readable
HTML files for Volume 1 of the Software Foundations electronic
textbook series.

  - Preface.v or Preface.html
    The place to start reading, including details on how to install
    required software

  - index.html
    The book's cover page and navigation starting point

  - deps.html 
    Overview of the ordering of chapters

  - LICENSE
    Explanation of how these files may be redistributed