by mietek

mietek / sf

Mirror of Software Foundations in PDF

221 Stars 38 Forks Last release: Not found 26 Commits 0 Releases

Available items

No Items, yet!

The developer of this repository has not created any items for sale yet. Need a bug fixed? Help with integration? A different license? Create a request here:


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


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

$ make


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.


Packaged by Miëtek Bak.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.