typstPackages.prooftrees

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

Name
prooftrees
Homepage
Version
0.1.0
License
Maintainers
Defined
Source