I have searched for a solution for making proof trees, but I have failed
to find a working setup.

Does anyone know of a solution?

I have used bussproofs.sty with LaTeX, and have seen that discussed on
this list some years ago:
(How) can I use this package in ConTeXt?

I have also looked at this metapost package, but it seems this package
relies deeper on LaTeX:

Have anyone other suggestions?

Trond Thorbjørnsen
If your question is of interest to others as well, please add an entry to the 

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : http://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net

Reply via email to