Hello,

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:
http://www.ntg.nl/pipermail/ntg-context/2010/051489.html
(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:
http://tug.ctan.org/graphics/metapost/contrib/macros/drv/drv.mp

Have anyone other suggestions?

--
Trond Thorbjørnsen