aromazyl / sf

Mirror of Software Foundations in PDF

Home Page:http://softwarefoundations.cis.upenn.edu

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

sf

Mirror of the Software Foundations series of books. Includes generated PDFs.

Usage

To regenerate the PDFs, ensure Coq, QuickChick, and LaTeX are installed, then:

$ make

Notes

The Makefiles are patched during the build process, so that chapters are generated in the right order, and the LaTeX nesting limit is not reached.

Similarly, the Typeclasses and QuickChickTool chapters of the QuickChick book are patched, so that a diacritic does not confuse LaTeX, and code listings appear in the output as intended.

About

Packaged by Miëtek Bak.

About

Mirror of Software Foundations in PDF

http://softwarefoundations.cis.upenn.edu


Languages

Language:HTML 79.0%Language:Coq 19.2%Language:Makefile 0.9%Language:CSS 0.8%Language:JavaScript 0.1%