Add info about the proof generation.

[pramodkandel]

Documentation Pull Request Template

Description

Provide a brief description of the changes in this pull request.
Explain the purpose and scope of the document, the problem it solves,
or the improvement it provides.

---

Type of Change

• New Document
• Update to Existing Document
• Bug Fix
• Question/clarification
• Other (please describe):

---

Related Issues

Link any related issues or pull requests here.
Use the format Fixes #issue-number to automatically close the related issue
when this pull request is merged.

---

Checklist

• I have reviewed the existing documentation to avoid duplication.
• The new or updated document includes clear and concise information.
• All relevant sections (e.g., introduction, usage examples, references)
  are included.
• The document follows the project's style guide and formatting rules.
• I have included any necessary references or external resources.
• Spellcheck and grammar check have been performed.
• (For updates) I have verified that the changes reflect the current state
  of the project.

---

Additional Information

Include any other relevant information, screenshots,
or notes that might help in reviewing this pull request.

---

Reviewer Checklist

• The purpose and scope of the document are clear.
• The document is easy to understand and follow.
• There are no typos or grammatical errors.
• All necessary sections are included and well-structured.
• The document is consistent with the project's style guide.
• Any referenced links or resources are valid and appropriate.

---

Thank you for contributing to our documentation!

[john-light]

applied some minor formatting changes. LGTM

[storopoli]

@pramodkandel fixed lints and formatting.
Tell me if we can merge this, please?

[pramodkandel]

@pramodkandel fixed lints and formatting.

Tell me if we can merge this, please?

Yes @storopoli this is mergeable.