typstPackages.derive-it_0_1_1

Simple functions for creating fitch-style natural deduction proofs and derivations

Name

derive-it

Homepage

• https://github.com/0rphee/derive-it

Version

0.1.1

License

• MIT License

Maintainers

• Gongqi Huang
• Ross Smyth

Defined

Source