Render grounded explanations as rich Markdown and LaTeX - #22

Render grounded explanations as rich Markdown and LaTeX#22

jjjhenriksen merged 1 commit into

mainjjjhenriksen/interactive-proof:mainfrom

codex/explanation-renderingjjjhenriksen/interactive-proof:codex/explanation-renderingCopy head branch name to clipboard