forked from oysteikt/sf1-template
39 lines
1.1 KiB
Markdown
39 lines
1.1 KiB
Markdown
# 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.
|
|
|
|
|
|
|
|
---
|
|
|
|
## 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
|
|
```
|