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.
The layout of this documentation is inspired from the HACL* documentation.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
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.
The layout of this documentation is inspired from the HACL* documentation.