executablebooks/sphinx-proof Issues
New release of sphinx-proof
Updated 3Unable to suppress proof index
Closed 2Using multi-line math outputs
Updated 1Please add an "assumption" directive.
Updated 4Shared numbering between directives
Updated 3Support i18n
Closed 2Clash with MathJax
UpdatedEBP package?
Closed 12[STY, ENH] Rename proof domain
Closed 7Plain background for examples?
Closed 3Drop italics in proof body?
Closed 2[DISC] Add `{proof}` as new role
Updated 4Styling for "proof" too loud?
Closed 3