package

typst-package-boxproof

Description

Create boxed proofs for natural deduction.

Metadata

Version

0.1.0

License

Status

Source

pkgs/by-name/ty/typst/build-universe-package.nix:42

Homepage

https://github.com/xiaoshihou514/boxproof-typst

Maintainers (2)