> For the complete documentation index, see [llms.txt](https://erroldrummond.gitbook.io/halo2-tutorial/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://erroldrummond.gitbook.io/halo2-tutorial/section-2.md).

# Section 2

- [Proper proving](https://erroldrummond.gitbook.io/halo2-tutorial/section-2/proper-proving.md)