Explore 2 packages in the TPIX registry
Typeset proof trees with minimal syntax.
Linguistics syntax/parse tree rendering