PoP-in-FStar

The Proof-oriented Programming in F* Book

Build

To set up an environment to build the book, you will need python3, sphinx, and the sphinx_rtd_theme.

Once you have python3, on Ubuntu-24, install using:

sudo apt install python3-sphinx
sudo apt install python3-sphinx_rtd_theme

Then, see book/Makefile:

set FSTAR_HOME, if the default is not correct
likewise, set PULSE_HOME

Then,

make -C book prep #to copy source files from F* and Pulse into the book build folders
make -C book html
make -C book pdf

You should have book/_build/html/index.html

Deploy

Set FSTARLANG_ORG_ROOT in book/Makefile

make deploy