Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
typstPackages
derive-it
package
typst-package-derive-it
Description
Simple functions for creating fitch-style natural deduction proofs and derivations.
Metadata
Install
Version
0.1.3
License
MIT
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/by-name/ty/typst/typst-packages.nix:39
Homepage
https://github.com/0rphee/derive-it
Maintainers
1
(1)
Gongqi Huang
