typstPackages.derive-it_1_1_0

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

Name

derive-it

Homepage

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

Version

1.1.0

License

• MIT License

Maintainers

• Gongqi Huang
• Ross Smyth

Defined

Source