HACL* documentation
=======================

This documentation requires sphinx. Use: `pip3 install sphinx-rtd-theme`.

To generate HTML, use: `make html`, then the results will be in
`_build/html/index.html`.