grant-roy

Results 1 issues of grant-roy

Hi, this project looks great! Does this support Latex packages like tikz or[ working with types](https://www.logicmatters.net/latex-for-logicians/nd/)?

enhancement