4
votes
1answer
295 views

semantic proof trees in ConTeXt

I want to draw logic proof trees in ConTeXt. Specifically, I want to be able to draw trees like this: I am aware that there are nice ways of doing this in LaTeX, and that the question What is the ...