Files

charIO
dw
kami
lf
- common
- .depend
- Auto.html
- Auto.v
- AutoTest.v
- Basics.html
- Basics.v
- BasicsTest.v
- Bib.html
- Bib.v
- BibTest.v
- Extraction.html
- Extraction.v
- ExtractionTest.v
- Imp.html
- Imp.v
- ImpCEvalFun.html
- ImpCEvalFun.v
- ImpCEvalFunTest.v
- ImpParser.html
- ImpParser.v
- ImpParserTest.v
- ImpTest.v
- IndPrinciples.html
- IndPrinciples.v
- IndPrinciplesTest.v
- IndProp.html
- IndProp.v
- IndPropTest.v
- Induction.html
- Induction.v
- InductionTest.v
- LICENSE
- Lists.html
- Lists.v
- ListsTest.v
- Logic.html
- Logic.v
- LogicTest.v
- Makefile
- Makefile.conf
- Maps.html
- Maps.v
- MapsTest.v
- Poly.html
- Poly.v
- PolyTest.v
- Postscript.html
- Postscript.v
- PostscriptTest.v
- Preface.html
- Preface.v
- PrefaceTest.v
- ProofObjects.html
- ProofObjects.v
- ProofObjectsTest.v
- README
- Rel.html
- Rel.v
- RelTest.v
- Tactics.html
- Tactics.v
- TacticsTest.v
- coqindex.html
- deps.gif
- deps.html
- deps.map
- imp.ml
- imp.mli
- imp1.ml
- imp1.mli
- imp2.ml
- imp2.mli
- impdriver.ml
- index.html
- toc.html
plf
qc
slides
vc
verdi
vfa
.gitignore
.gitmodules
LICENSE
README.md

lf

Name	Name	Last commit message	Last commit date
parent directory ..
common	common	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
.depend	.depend	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Auto.html	Auto.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Auto.v	Auto.v	Fix a typo	Jul 23, 2018
AutoTest.v	AutoTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Basics.html	Basics.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Basics.v	Basics.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
BasicsTest.v	BasicsTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Bib.html	Bib.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Bib.v	Bib.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
BibTest.v	BibTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Extraction.html	Extraction.html	Refresh LF and some other SF materials	Jul 9, 2018
Extraction.v	Extraction.v	Refresh LF and some other SF materials	Jul 9, 2018
ExtractionTest.v	ExtractionTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Imp.html	Imp.html	lf: Fix typo.	Jul 18, 2018
Imp.v	Imp.v	lf: Fix typo.	Jul 18, 2018
ImpCEvalFun.html	ImpCEvalFun.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
ImpCEvalFun.v	ImpCEvalFun.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
ImpCEvalFunTest.v	ImpCEvalFunTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
ImpParser.html	ImpParser.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
ImpParser.v	ImpParser.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
ImpParserTest.v	ImpParserTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
ImpTest.v	ImpTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
IndPrinciples.html	IndPrinciples.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
IndPrinciples.v	IndPrinciples.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
IndPrinciplesTest.v	IndPrinciplesTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
IndProp.html	IndProp.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
IndProp.v	IndProp.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
IndPropTest.v	IndPropTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Induction.html	Induction.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Induction.v	Induction.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
InductionTest.v	InductionTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
LICENSE	LICENSE	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Lists.html	Lists.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Lists.v	Lists.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
ListsTest.v	ListsTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Logic.html	Logic.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Logic.v	Logic.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
LogicTest.v	LogicTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Makefile	Makefile	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Makefile.conf	Makefile.conf	Refresh lf	Jul 9, 2018
Maps.html	Maps.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Maps.v	Maps.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
MapsTest.v	MapsTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Poly.html	Poly.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Poly.v	Poly.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
PolyTest.v	PolyTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Postscript.html	Postscript.html	Refresh lf	Jul 9, 2018
Postscript.v	Postscript.v	Refresh lf	Jul 9, 2018
PostscriptTest.v	PostscriptTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Preface.html	Preface.html	Refresh lf	Jul 9, 2018
Preface.v	Preface.v	Refresh lf	Jul 9, 2018
PrefaceTest.v	PrefaceTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
ProofObjects.html	ProofObjects.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
ProofObjects.v	ProofObjects.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
ProofObjectsTest.v	ProofObjectsTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
README	README	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Rel.html	Rel.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Rel.v	Rel.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
RelTest.v	RelTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
Tactics.html	Tactics.html	Refresh lf	Jul 9, 2018
Tactics.v	Tactics.v	Refresh lf	Jul 9, 2018
TacticsTest.v	TacticsTest.v	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
coqindex.html	coqindex.html	Refresh lf	Jul 9, 2018
deps.gif	deps.gif	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
deps.html	deps.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
deps.map	deps.map	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
imp.ml	imp.ml	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
imp.mli	imp.mli	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
imp1.ml	imp1.ml	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
imp1.mli	imp1.mli	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
imp2.ml	imp2.ml	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
imp2.mli	imp2.mli	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
impdriver.ml	impdriver.ml	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018
index.html	index.html	Refresh lf	Jul 9, 2018
toc.html	toc.html	Added the (public, student versions of) the Software Foundations volu…	May 25, 2018

README

#########################################################################
                           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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Files

lf

lf

README

Files

lf

Directory actions

More options

Directory actions

More options

Latest commit

History

lf

Folders and files

parent directory

README