typst-package-prooftrees

Description

[Deprecated in favour of curryst; this package is no longer maintained.] Proof trees for natural deduction and type theories.

Metadata