package

typst-package-derive-it

Description

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

Metadata

Version

0.1.2

License

Status

Source

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

Homepage

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

Maintainers (2)