GitHub - LambdaAlpha/programming-language-foundations-exercises

This repository was archived by the owner on May 27, 2023. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.coqdeps.d		.coqdeps.d
Bib.v		Bib.v
Equiv.v		Equiv.v
Hoare.v		Hoare.v
Hoare2.v		Hoare2.v
HoareAsLogic.v		HoareAsLogic.v
Imp.v		Imp.v
LICENSE		LICENSE
LibTactics.v		LibTactics.v
Makefile		Makefile
Maps.v		Maps.v
MoreStlc.v		MoreStlc.v
Norm.v		Norm.v
PE.v		PE.v
Postscript.v		Postscript.v
Preface.v		Preface.v
README		README
RecordSub.v		RecordSub.v
Records.v		Records.v
References.v		References.v
Smallstep.v		Smallstep.v
Stlc.v		Stlc.v
StlcProp.v		StlcProp.v
Sub.v		Sub.v
Typechecking.v		Typechecking.v
Types.v		Types.v
UseAuto.v		UseAuto.v
UseTactics.v		UseTactics.v
_CoqProject		_CoqProject
deps.gif		deps.gif
deps.map		deps.map

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