Skip to content

Render algorithm, assumption, criterion and property in LaTeX export - #3031

Open
alanlujan91 wants to merge 1 commit into
jupyter-book:mainfrom
alanlujan91:fix/tex-proof-kinds
Open

Render algorithm, assumption, criterion and property in LaTeX export#3031
alanlujan91 wants to merge 1 commit into
jupyter-book:mainfrom
alanlujan91:fix/tex-proof-kinds

Commits

Commits on Aug 19, 2026