ProofStudio A studio for proofs! Notes This has some good functionality for what we're looking for for rendering latex: textogif https://github.com/goldsborough/latexpp