3 ms·
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 fo
by dadoum 11mo ago
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 11mo agoHadn't seen curryst. Looking at the examples it looks ok. Maybe I should have used that and stuck with Typst.