Using multi-line math outputs

[ebridge2]

Describe the bug

context When you try to use multi-line (either $$ or \begin{align} type of environments) from within a lemma/definition/theorem/proof environment, it will not typeset latex.

expectation I expect it to typeset latex.

bug

It doesn't typeset latex. See directly from the docs, in the example of a definition:

Reproduce the bug

1. Go to the sphinx-proof website of documentation, and see the example https://sphinx-proof.readthedocs.io/en/latest/syntax.html#definitions.

List your environment

No response

[welcome[bot]]

Thanks for opening your first issue here! Engagement like this is essential for open source projects! :hugs:
If you haven't done so already, check out EBP's Code of Conduct. Also, please try to follow the issue template as it helps other community members to contribute more effectively.
If your issue is a feature request, others may react to it, to raise its prominence (see Feature Voting).
Welcome to the EBP community! :tada: