The Proof-oriented Programming in F* Book
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
Set FSTARLANG_ORG_ROOT in book/Makefile
- make deploy