GitHub - AKKID/If: software foundation

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
.Basics.aux		.Basics.aux
.IndProp.aux		.IndProp.aux
.Induction.aux		.Induction.aux
.Lists.aux		.Lists.aux
.Logic.aux		.Logic.aux
.Maps.aux		.Maps.aux
.Poly.aux		.Poly.aux
.Preface.aux		.Preface.aux
.ProofObjects.aux		.ProofObjects.aux
.Tactics.aux		.Tactics.aux
.coqdeps.d		.coqdeps.d
.depend		.depend
Auto.v		Auto.v
Basics.glob		Basics.glob
Basics.v		Basics.v
Basics.vo		Basics.vo
Bib.v		Bib.v
Extraction.v		Extraction.v
Imp.v		Imp.v
ImpCEvalFun.v		ImpCEvalFun.v
ImpParser.v		ImpParser.v
ImpTest.v		ImpTest.v
IndPrinciples.v		IndPrinciples.v
IndProp.glob		IndProp.glob
IndProp.html		IndProp.html
IndProp.v		IndProp.v
IndProp.vo		IndProp.vo
Induction.glob		Induction.glob
Induction.v		Induction.v
Induction.vo		Induction.vo
LICENSE		LICENSE
Lists.glob		Lists.glob
Lists.v		Lists.v
Lists.vo		Lists.vo
Logic.glob		Logic.glob
Logic.v		Logic.v
Logic.vo		Logic.vo
Makefile		Makefile
Makefile.conf		Makefile.conf
Maps.glob		Maps.glob
Maps.v		Maps.v
Maps.vo		Maps.vo
MapsTest.v		MapsTest.v
Poly.glob		Poly.glob
Poly.v		Poly.v
Poly.vo		Poly.vo
Postscript.v		Postscript.v
Preface.glob		Preface.glob
Preface.v		Preface.v
Preface.vo		Preface.vo
ProofObjects.glob		ProofObjects.glob
ProofObjects.v		ProofObjects.v
ProofObjects.vo		ProofObjects.vo
README		README
Rel.v		Rel.v
Tactics.glob		Tactics.glob
Tactics.v		Tactics.v
Tactics.vo		Tactics.vo
deps.gif		deps.gif
deps.map		deps.map
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

Repository files navigation

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

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

  - 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