Skip to content

neshkeev/Logical-Foundations

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
.coqdeps.d
.coqdeps.d
 
 
.depend
.depend
 
 
.gitignore
.gitignore
 
 
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.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

About

Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html

Resources

Readme

License

MIT license
Activity

Stars

9 stars

Watchers

1 watching

Forks

8 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages