# Software Foundations 1

This is a template repository for the code found in [Software Foundations 1](https://softwarefoundations.cis.upenn.edu/lf-current/index.html)

It contains an additional nix-shell and envrc file to easily get started.

All the HTML has been removed, most of the content is inlined in the files anyway, and the rendered HTML is available online if you need it.

Fork me, and go ham.

![Deps](./deps.svg)

---

## Original README

```
#########################################################################
                           SOFTWARE FOUNDATIONS
#########################################################################

This directory contains both Rocq scripts (.v files) and generated HTML
files for Volume 1 of the Software Foundations electronic textbook
series.

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