Need help with sf?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

mietek
248 Stars 41 Forks 26 Commits 2 Opened issues

Description

Mirror of Software Foundations in PDF

Services available

!
?

Need anything else?

Contributors list

# 236,210
Jupyter...
Shell
interop...
depende...
26 commits

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.

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.