typstPackages.boxproof_0_1_0

Create boxed proofs for natural deduction

Name

boxproof

Homepage

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

Version

0.1.0

License

• MIT License

Maintainers

• Gongqi Huang
• Ross Smyth

Defined

Source