[dadoum]

I remember using curryst for my proof trees (a few months ago) and they looked fine if I recall correctly. But I agree that often using typst means searching for package that may not exist or is not working correctly since the ecosystem is not very mature currently.

[tombert]

Hadn't seen curryst. Looking at the examples it looks ok. Maybe I should have used that and stuck with Typst.