lf

Branch Chooser Goes Here
Clone URL: https://foundry.remexre.xyz/projects/lf.git
.coqdeps.d ... 14 days ago
.gitignore 2020-02-12 14 days ago
Auto.html ... 14 days ago
Auto.v ... 14 days ago
AutoTest.v ... 14 days ago
Basics.html ... 14 days ago
Basics.v ... 14 days ago
BasicsTest.v ... 14 days ago
Bib.html ... 14 days ago
Bib.v ... 14 days ago
BibTest.v ... 14 days ago
Extraction.html ... 14 days ago
Extraction.v ... 14 days ago
ExtractionTest.v ... 14 days ago
Imp.html ... 14 days ago
Imp.v ... 14 days ago
ImpCEvalFun.html ... 14 days ago
ImpCEvalFun.v ... 14 days ago
ImpCEvalFunTest.v ... 14 days ago
ImpParser.html ... 14 days ago
ImpParser.v ... 14 days ago
ImpParserTest.v ... 14 days ago
ImpTest.v ... 14 days ago
IndPrinciples.html ... 14 days ago
IndPrinciples.v ... 14 days ago
IndPrinciplesTest.v ... 14 days ago
IndProp.html ... 14 days ago
IndProp.v ... 14 days ago
IndPropTest.v ... 14 days ago
Induction.html ... 14 days ago
Induction.v 2020-02-12 14 days ago
InductionTest.v ... 14 days ago
LICENSE ... 14 days ago
Lists.html ... 14 days ago
Lists.v ... 11 hours ago
ListsTest.v ... 14 days ago
Logic.html ... 14 days ago
Logic.v ... 14 days ago
LogicTest.v ... 14 days ago
Makefile ... 14 days ago
Makefile.conf 2020-02-12 14 days ago
Maps.html ... 14 days ago
Maps.v ... 14 days ago
MapsTest.v ... 14 days ago
Poly.html ... 14 days ago
Poly.v ... 11 hours ago
PolyTest.v ... 14 days ago
Postscript.html ... 14 days ago
Postscript.v ... 14 days ago
PostscriptTest.v ... 14 days ago
Preface.html ... 14 days ago
Preface.v ... 14 days ago
PrefaceTest.v ... 14 days ago
ProofObjects.html ... 14 days ago
ProofObjects.v ... 14 days ago
ProofObjectsTest.v ... 14 days ago
README ... 14 days ago
Rel.html ... 14 days ago
Rel.v ... 14 days ago
RelTest.v ... 14 days ago
Tactics.html ... 14 days ago
Tactics.v ... 14 days ago
TacticsTest.v ... 14 days ago
_CoqProject ... 14 days ago
common ... 14 days ago
coqindex.html ... 14 days ago
deps.gif
deps.html ... 14 days ago
deps.map ... 14 days ago
imp.ml ... 14 days ago
imp.mli ... 14 days ago
imp1.ml ... 14 days ago
imp1.mli ... 14 days ago
imp2.ml ... 14 days ago
imp2.mli ... 14 days ago
impdriver.ml ... 14 days ago
index.html ... 14 days ago
toc.html ... 14 days ago
#########################################################################
                           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